Period of time： 2014年1-2期
Publisher： Springer Publishing Company
Founded in： 1985
Total resources： 33
ISSN： 0168-7433
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.
Journal of Automated Reasoning,volume 36,issue 1-2
Menu
Automated Reasoning for Security Protocol Analysis
By Armando Alessandro,Basin David,Cuellar Jorge,Rusinowitch Michaël,Viganò Luca in (2006)
Journal of Automated Reasoning,volume 36,issue 1-2 , Vol. 36, Iss. 1-2, 2006-01 , pp.
Access to resources
Recommend
Verifying the SET Purchase Protocols
By Bella Giampaolo,Massacci Fabio,Paulson Lawrence in (2006)
Journal of Automated Reasoning,volume 36,issue 1-2 , Vol. 36, Iss. 1-2, 2006-01 , pp.Formal Analysis of Multiparty Contract Signing
By Chadha Rohit,Kremer Steve,Scedrov Andre in (2006)
Journal of Automated Reasoning,volume 36,issue 1-2 , Vol. 36, Iss. 1-2, 2006-01 , pp.By Delaune Stéphanie,Jacquemard Florent in (2006)
Journal of Automated Reasoning,volume 36,issue 1-2 , Vol. 36, Iss. 1-2, 2006-01 , pp.Decidability Issues for Extended Ping-Pong Protocols
By Hüttel Hans,Srba Jiří in (2006)
Journal of Automated Reasoning,volume 36,issue 1-2 , Vol. 36, Iss. 1-2, 2006-01 , pp.Attacking Group Protocols by Refuting Incorrect Inductive Conjectures
By Steel Graham,Bundy Alan in (2006)
Journal of Automated Reasoning,volume 36,issue 1-2 , Vol. 36, Iss. 1-2, 2006-01 , pp.