Publication:
Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени

Simple item page
cris.virtual.department#PLACEHOLDER_PARENT_METADATA_VALUE#
cris.virtual.orcid#PLACEHOLDER_PARENT_METADATA_VALUE#
cris.virtualsource.department3e9eb32f-8924-4cd4-a7b0-ca4704de438e
cris.virtualsource.orcid3e9eb32f-8924-4cd4-a7b0-ca4704de438e
dc.contributor.authorБорхаленко, В. А.
dc.date.accessioned2017-09-29T07:41:59Z
dc.date.available2017-09-29T07:41:59Z
dc.date.issued2014
dc.description.abstractПредставлены основные свойства безопасности криптографических протоколов с помощью аппарата логики линейного времени LTL, а также приведен пример автомата Бюхи, построенного на основе формулы LTL.ru_RU
dc.description.abstractConducted theoretical research of applying instruments of linear temporal logic to formalize the security properties of cryptographic protocols and developing the Buchi automata based on LTL-formulas.ru_RU
dc.identifier.citationБорхаленко В. А. Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени // Развитие информационно-ресурсного обеспечения образования и науки в горно-металлургической отрасли и на транспорте 2014: сборник научных трудов международной конференции, 27-28 сентября 2014г. - Днепропетровск, 2014. – С. 295-301.ru_RU
dc.identifier.udk001.57:004.942ru_RU
dc.identifier.urihttp://ir.nmu.org.ua/handle/123456789/150306
dc.language.isoruru_RU
dc.subjectматематическое моделированиеru_RU
dc.subjectкриптографические протоколыru_RU
dc.subjectзащита информацииru_RU
dc.subjectлинейная темпоральная логикаru_RU
dc.subjectформализация свойств безопасностиru_RU
dc.subjectmathematical modellingru_RU
dc.subjectcryptographic protocolsru_RU
dc.subjectinformation securityru_RU
dc.subjectlinear temporal logicru_RU
dc.subjectsecurity properties formalizationru_RU
dc.titleФормализация свойств безопасности криптографических протоколов с помощью логики линейного времениru_RU
dc.title.alternativeFormalization of the security properties of cryptographic protocols using linear temporal logicru_RU
dc.typeArticleru_RU
dspace.entity.typePublication
dspace.virtual.department#PLACEHOLDER_PARENT_METADATA_VALUE#
dspace.virtual.orcid#PLACEHOLDER_PARENT_METADATA_VALUE#
dspace.virtualsource.department3e9eb32f-8924-4cd4-a7b0-ca4704de438e
dspace.virtualsource.orcid3e9eb32f-8924-4cd4-a7b0-ca4704de438e

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
295-301.pdf
Size:
532.11 KB
Format:
Adobe Portable Document Format
Description:
Download

License bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

«Развитие информационно-ресурсного обеспечения образования и науки в горно-металлургической отрасли и на транспорте 2014, г. Днепропетровск, 27-28 сентября : сб. науч. тр. междунар. конф.