Repository logo
  • English
  • Yкраї́нська
Log In
New user? Click here to register.Have you forgotten your password?
  1. Home
  2. Матеріали конференцій
  3. Развитие информационно-ресурсного обеспечения образования и науки в горно-металлургической отрасли и на транспорте
  4. «Развитие информационно-ресурсного обеспечения образования и науки в горно-металлургической отрасли и на транспорте 2014, г. Днепропетровск, 27-28 сентября : сб. науч. тр. междунар. конф.
  5. Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени
 
  • Details

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

Date Issued
2014
Author(s)
Борхаленко, В. А. 
Abstract
Представлены основные свойства безопасности криптографических протоколов с помощью аппарата логики линейного времени LTL, а также приведен пример автомата Бюхи, построенного на основе формулы LTL.
Conducted 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.
Subjects

математическое модели...

криптографические про...

защита информации

линейная темпоральная...

формализация свойств ...

mathematical modellin...

cryptographic protoco...

information security

linear temporal logic...

security properties f...

File(s)
Loading...
Thumbnail Image
Name

295-301.pdf

Size

532.11 KB

Format

Adobe PDF

Checksum

(MD5):2e91ff38eddddc81b364b1d3a68e091c

.

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • End User Agreement
  • Send Feedback
Repository logo COAR Notify