Period of time： 2004年1期
Publisher： Elsevier
Founded in： 1995
Total resources： 23
ISSN： 1571-0661
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Electronic Notes in Theoretical Computer Science,volume 55,issue 1
Menu
Models for an Adversary-Centric Protocol Logic
Electronic Notes in Theoretical Computer Science,volume 55,issue 1 , Vol. 55, Iss. 1, 2004-01 , pp.
Access to resources
Recommend
Towards an Awareness-Based Semantics for Security Protocol Analysis
By Accorsi R., Basin D., Vigano L. in (2004)
Electronic Notes in Theoretical Computer Science,volume 55,issue 1 , Vol. 55, Iss. 1, 2004-01 , pp.On the Symbolic Reduction of Processes with Cryptographic Functions
Electronic Notes in Theoretical Computer Science,volume 55,issue 1 , Vol. 55, Iss. 1, 2004-01 , pp.Abstract Interpretation for Proving Secrecy Properties in Security Protocols
By Adi K., Debbabi M. in (2004)
Electronic Notes in Theoretical Computer Science,volume 55,issue 1 , Vol. 55, Iss. 1, 2004-01 , pp.Attacking Fair-Exchange Protocols - Parallel Models vs. Trace Models
By Aiello L.C., Massacci F. in (2004)
Electronic Notes in Theoretical Computer Science,volume 55,issue 1 , Vol. 55, Iss. 1, 2004-01 , pp.