Using Horn Clauses for Analyzing Security Protocols
Вид публикации:
Book ChapterИсточник:
Formal Models and Techniques for Analyzing Security Protocols, IOS Press, Amsterdam, p.86-111 (2011)- 7022 просмотра
- Google Scholar
- DOI
- RTF
- EndNote XML
Partner sites
2024 Procon Ltd. Information & Security: An International Journal - This is a Free Drupal Theme
Ported to Drupal for the Open Source Community by Drupalizing, a Project of More than (just) Themes. Original design by Simple Themes.
Ported to Drupal for the Open Source Community by Drupalizing, a Project of More than (just) Themes. Original design by Simple Themes.