Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”

By Bauer Lujo   Etalle Sandro   den Hartog Jerry   Viganò Luca  

Journal of Automated Reasoning, Vol. 46, Iss. 3-4, 2011-04 ,pp. : 223-224

Springer Publishing Company

Access to resources Recommend Favorite

Towards an Awareness-Based Semantics for Security Protocol Analysis

By Accorsi R.   Basin D.   Vigano L.  

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

Elsevier

Access to resources Recommend Favorite

Episode Analysis: A Practical Approach for Temporal Reasoning in Automated Processes

By Parthasarathy S.  

Engineering Applications of Artificial Intelligence, Vol. 8, Iss. 1, 1995-02 ,pp. : 53-60

Elsevier

Access to resources Recommend Favorite

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

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