Strand spaces: proving security protocols correct 论文
1999Journal of Computer Security引用 541
Advanced Authentication Protocols SecurityUser Authentication and Security SystemsCryptography and Data Security
摘要
A strand is a sequence of events; it represents either an execution by a legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a collection of strands, equipped with a graph structure generated by ca