Towards an Awareness-Based Semantics for Security Protocol Analysis

Publisher： Elsevier

ISSN： 1571-0661

Source： Electronic Notes in Theoretical Computer Science, Vol.55, Iss.1, 2004-01, pp. : 1-20

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Towards formal analysis of wireless LAN security with MIS protocol

By You Ilsun Hori Yoshiaki Sakurai Kouichi

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 7, Iss. 2, 2011-03 ,pp. : 112-120

Inderscience Publishers

Access to resources Recommend Favorite

Automated Reasoning for Security Protocol Analysis

By Armando Alessandro Basin David Cuellar Jorge Rusinowitch Michaël Viganò Luca

Journal of Automated Reasoning, Vol. 36, Iss. 1-2, 2006-01 ,pp. : 1-3

Springer Publishing Company

Access to resources Recommend Favorite

Collaboration in Distributed Systems by Means of an Awareness-Based Learning Model

Recent Patents on Computer Science, Vol. 3, Iss. 2, 2010-01 ,pp. : 127-147

Bentham Science Publishers

Access to resources Recommend Favorite

A collaborative platform for buyer coalition: Introducing the Awareness-based Buyer Coalition (ABC) system

By Boongasame Laor

Information Systems Frontiers, Vol. 15, Iss. 1, 2013-03 ,pp. : 89-98

Springer Publishing Company

Access to resources Recommend Favorite

Athena: a novel approach to efficient automatic security protocol analysis

By Song D.X.

Journal of Computer Security, Vol. 9, Iss. 1-2, 2001-01 ,pp. : 47-74

Ios Press

Access to resources Recommend Favorite