A calculus for control flow analysis of security protocols

Author： Buchholtz Mikael Riis Nielson Hanne Nielson Flemming

ISSN： 1615-5262

Source： International Journal of Information Security (IJIS), Vol.2, Iss.3-4, 2004-08, pp. : 145-167

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

Related content

Verifying security protocols by knowledge analysis

By Ma Xiaoqi Cheng Xiaochun

International Journal of Security and Networks, Vol. 3, Iss. 3, 2008-08 ,pp. : 183-192

Inderscience Publishers

Access to resources Recommend Favorite

Analysis of security protocols as open systems

By Martinelli F.

Theoretical Computer Science, Vol. 290, Iss. 1, 2003-01 ,pp. : 1057-1106

Elsevier

Access to resources Recommend Favorite

Framework for Threat Analysis and Attack Modelling of Network Security Protocols

International Journal of Synthetic Emotions (IJSE), Vol. 8, Iss. 2, 2017-07 ,pp. : 62-75

IGI Global_journal

Access to resources Recommend Favorite

Model checking security properties of control flow graphs

By Besson F.

Journal of Computer Security, Vol. 9, Iss. 3, 2001-01 ,pp. : 217-250

Ios Press

Access to resources Recommend Favorite

Dynamic security labels and static information flow control

By Zheng Lantian Myers Andrew

International Journal of Information Security (IJIS), Vol. 6, Iss. 2-3, 2007-03 ,pp. : 67-84

Springer Publishing Company

Access to resources Recommend Favorite