ASLan++ — A Formal Security Specification Language for Distributed Systems
- 1 January 2011
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Protocol Composition for Arbitrary PrimitivesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2010
- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational PropertiesLecture Notes in Computer Science, 2009
- LTL model checking for security protocolsJournal of Applied Non-Classical Logics, 2009
- The Scyther Tool: Verification, Falsification, and Analysis of Security ProtocolsLecture Notes in Computer Science, 2008
- The AVISPA Tool for the Automated Validation of Internet Security Protocols and ApplicationsLecture Notes in Computer Science, 2005
- TulaFale: A Security Tool for Web ServicesLecture Notes in Computer Science, 2004
- New Decidability Results for Fragments of First-Order Logic and Application to Cryptographic ProtocolsLecture Notes in Computer Science, 2003
- A logic of authenticationACM Transactions on Computer Systems, 1990