Period of time： 2014年3-4期
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 46,issue 3-4
Menu
Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”
By Bauer Lujo,Etalle Sandro,den Hartog Jerry,Viganò Luca in (2011)
Journal of Automated Reasoning,volume 46,issue 3-4 , Vol. 46, Iss. 3-4, 2011-04 , pp.
Access to resources
Recommend
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
By Cortier Véronique,Kremer Steve,Warinschi Bogdan in (2011)
Journal of Automated Reasoning,volume 46,issue 3-4 , Vol. 46, Iss. 3-4, 2011-04 , pp.Automated Proofs for Asymmetric Encryption
By Courant J.,Daubignard M.,Ene C.,Lafourcade P.,Lakhnech Y. in (2011)
Journal of Automated Reasoning,volume 46,issue 3-4 , Vol. 46, Iss. 3-4, 2011-04 , pp.Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation
By Martinho Joana,Ravara António in (2011)
Journal of Automated Reasoning,volume 46,issue 3-4 , Vol. 46, Iss. 3-4, 2011-04 , pp.Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach
By Küsters Ralf,Truderung Tomasz in (2011)
Journal of Automated Reasoning,volume 46,issue 3-4 , Vol. 46, Iss. 3-4, 2011-04 , pp.Multi-Attacker Protocol Validation
By Arsac Wihem,Bella Giampaolo,Chantry Xavier,Compagna Luca in (2011)
Journal of Automated Reasoning,volume 46,issue 3-4 , Vol. 46, Iss. 3-4, 2011-04 , pp.Collaborative Planning with Confidentiality
By Kanovich Max,Rowe Paul,Scedrov Andre in (2011)
Journal of Automated Reasoning,volume 46,issue 3-4 , Vol. 46, Iss. 3-4, 2011-04 , pp.