The following pages link to A logic of authentication (Q4206382):
Displaying 33 items.
- Believing the integrity of a system (invited talk) (Q2848028) (← links)
- A trace logic for local security properties (Q2849557) (← links)
- Protocol composition logic (PCL) (Q2864155) (← links)
- Temporal logics of knowledge and their applications in security (Q2866724) (← links)
- Demonstration of the modified CSN-logic (Q2909001) (← links)
- Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later (Q2945721) (← links)
- Logic for verifying public-key cryptographic protocols (Q3125910) (← links)
- Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol (Q3178248) (← links)
- (Q3361872) (← links)
- Homomorphism key agreement based on RSA (Q3443236) (← links)
- Static Evidences for Attack Reconstruction (Q3460869) (← links)
- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap (Q3498468) (← links)
- Comparing State Spaces in Automatic Security Protocol Analysis (Q3631370) (← links)
- The Practice of Authentication (Q3727858) (← links)
- (Q4261080) (← links)
- Tableaux methods for access control in distributed systems (Q4610331) (← links)
- Key Compromise, Strand Spaces, and the Authentication Tests1 1I gave my MFPS 17 talk on 24 May 2001, Bob Dylan's sixtieth birthday. This paper is dedicated to him. (Q4917054) (← links)
- Reasoning About Trust and Belief Change on a Social Network: A Formal Approach (Q5056040) (← links)
- Authentication and delegation with smart-cards (Q5096225) (← links)
- Threat scenarios as a means to formally develop secure systems (Q5096418) (← links)
- Modelling a public-key infrastructure (Q5096419) (← links)
- Automatic verification of cryptographic protocols with SETHEO (Q5234693) (← links)
- EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS (Q5484904) (← links)
- A Formal Analysis of Complex Type Flaw Attacks on Security Protocols (Q5505422) (← links)
- Refinement of Kripke Models for Dynamics (Q5505597) (← links)
- A formal framework for authentication (Q5857806) (← links)
- A subjective metric of authentication (Q5862297) (← links)
- A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol (Q5862307) (← links)
- A Vector Model of Trust for Developing Trustworthy Systems (Q5862312) (← links)
- Abstractions Preserving Parameter Confidentiality (Q5862673) (← links)
- A semantics for web services authentication (Q5892652) (← links)
- Web security: Authentication protocols and their analysis (Q5945162) (← links)
- Reasoning about cryptographic protocols in the spi calculus (Q6044108) (← links)
