Analysing a stream authentication protocol using model checking

Նմանատիպ նյութեր

• Analysing a Stream Authentication Protocol Using Model Checking
  ‌: Broadfoot, P, և այլն
  Հրապարակվել է: (2002)
• Analysing Applications Layered on Unilaterally Authenticating Protocols
  ‌: Gibson−Robinson, T, և այլն
  Հրապարակվել է: (2011)
• Analysing Applications Layered on Unilaterally Authenticating Protocols.
  ‌: Gibson-Robinson, T, և այլն
  Հրապարակվել է: (2011)
• Analysing Applications Layered on Unilaterally Authenticating Protocols
  ‌: Gibson−Robinson, T, և այլն
  Հրապարակվել է: (2011)
• Towards a Completeness Result for Model Checking of Security Protocols
  ‌: Lowe, G
  Հրապարակվել է: (1998)