A framework for the analysis of security protocols
From MaRDI portal
Recommendations
Cited in
(52)- Analyzing security protocols using time-bounded task-PIOAs
- Formally sound implementations of security protocols with JavaSPI
- SeVe: automatic tool for verification of security protocols
- Verification of cryptographic protocols: tagging enforces termination
- Analysis of security protocols as open systems
- Analysis of security protocols based on challenge-response
- Universally composable symbolic security analysis
- A framework for compositional verification of security protocols
- Automated analysis of security protocols
- Extending security protocol analysis: new challenges
- Performance evaluation of security protocols specified in LySa
- Linearity, persistence and testing semantics in the asynchronous pi-calculus
- A uniform framework for security and trust modeling and analysis with crypto-CCS
- Security Analysis of Two Distance-Bounding Protocols
- The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
- Security Protocols: Principles and Calculi
- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
- Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
- A team automaton scenario for the analysis of security properties of communication protocols
- Handling Algebraic Properties in Automatic Analysis of Security Protocols
- Degrees of security: protocol guarantees in the face of compromising adversaries
- Comparing State Spaces in Automatic Security Protocol Analysis
- scientific article; zbMATH DE number 3965967 (Why is no real title available?)
- Analysis of a security protocol in CRL
- On name generation and set-based analysis in the Dolev-Yao model
- Symbolic trace analysis of cryptographic protocols
- Soft constraint programming to analysing security protocols
- scientific article; zbMATH DE number 2163007 (Why is no real title available?)
- Symbolic semantics and analysis for crypto-CCS with (almost) generic inference systems
- Analyzing cryptographic protocols in a reactive framework
- An analysis of integrity services in protocols
- scientific article; zbMATH DE number 1860683 (Why is no real title available?)
- Security goals: Packet trajectories aand strand spaces
- scientific article; zbMATH DE number 2112333 (Why is no real title available?)
- scientific article; zbMATH DE number 1390339 (Why is no real title available?)
- Proof techniques for cryptographic protocols
- Equal to the task?
- Analysis of ADER and ADER-WAF schemes
- Computer Aided Systems Theory – EUROCAST 2005
- Model Checking Software
- Trustworthy Global Computing
- Theoretical Computer Science
- Mathematical Foundations of Computer Science 2003
- A Universally Composable Framework for the Analysis of Browser-Based Security Protocols
- LDYIS: a framework for model checking security protocols
- A method for symbolic analysis of security protocols
- Theory of Cryptography
- Security Analysis of CPace
- A game-theoretic framework for specification and verification of cryptographic protocols
- On the semantics of Alice \& Bob specifications of security protocols
- A framework for security analysis of mobile wireless networks
- Efficient representation of the attacker's knowledge in cryptographic protocols analysis
This page was built for publication: A framework for the analysis of security protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4484506)
