A logic of authentication
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- A calculus for cryptographic protocols: The spi calculus
- Gordon's computer: A hardware verification case study in OBJ3
- Logarithm Cartesian authentication codes.
- Study on strand space model theory
- Authentication tests and the structure of bundles.
- On the role of formal methods in security
- Three-factor-based confidentiality-preserving remote user authentication scheme in multi-server environment
- Robust and efficient authentication scheme for session initiation protocol
- Verification of cryptographic protocols: tagging enforces termination
- Vulnerability analysis of CSP based on stochastic game theory
- ESAP: efficient and secure authentication protocol for roaming user in mobile communication networks
- An attack-finding algorithm for security protocols.
- On the symbolic reduction of processes with cryptographic functions.
- A new logic for electronic commerce protocols
- A comparison of three authentication properties.
- Private authentication
- Source code verification of a secure payment applet
- An improvement of GNY logic for the reflection attacks
- A computationally grounded logic of graded belief
- An approach for formal verification of authentication protocols
- Timed models of security protocols including delays in the network
- Invariant-based reasoning about parameterized security protocols
- A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
- The reactive simulatability (RSIM) framework for asynchronous systems
- A framework for compositional verification of security protocols
- Unifying simulatability definitions in cryptographic systems under different timing assumptions
- A static analysis of cryptographic processes: the denotational approach
- Logics for reasoning about cryptographic constructions
- Pattern-matching spi-calculus
- An extended chaotic-maps-based protocol with key agreement for multiserver environments
- Design and analysis of a chaotic maps-based three-party authenticated key agreement protocol
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
- scientific article; zbMATH DE number 1588477 (Why is no real title available?)
- A formalization of credit and responsibility within the GNDC schema
- Abstract interpretation for proving secrecy properties in security protocols
- Information based reasoning about security protocols
- Modal logics for cryptographic processes
- Believing the integrity of a system (invited talk)
- A trace logic for local security properties
- Protocol composition logic (PCL)
- Temporal logics of knowledge and their applications in security
- On the Clark-Jacob version of SPLICE/AS
- Demonstration of the modified CSN-logic
- Emerging issues and trends in formal methods in cryptographic protocol analysis: twelve years later
- A formal framework for specifying and analyzing logs as electronic evidence
- Logic for verifying public-key cryptographic protocols
- Bayesian authentication: quantifying security of the Hancke-Kuhn protocol
- scientific article; zbMATH DE number 4195145 (Why is no real title available?)
- Robust extended chaotic maps-based three-factor authentication scheme preserving biometric template privacy
- scientific article; zbMATH DE number 4215344 (Why is no real title available?)
- An epistemic foundation for authentication logics (extended abstract)
- Homomorphism key agreement based on RSA
- Static evidences for attack reconstruction
- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
- Comparing State Spaces in Automatic Security Protocol Analysis
- Study of protocol composition logic
- The Practice of Authentication
- scientific article; zbMATH DE number 1330437 (Why is no real title available?)
- scientific article; zbMATH DE number 1149910 (Why is no real title available?)
- scientific article; zbMATH DE number 2080687 (Why is no real title available?)
- scientific article; zbMATH DE number 2080723 (Why is no real title available?)
- scientific article; zbMATH DE number 1497865 (Why is no real title available?)
- scientific article; zbMATH DE number 1538052 (Why is no real title available?)
- scientific article; zbMATH DE number 1543079 (Why is no real title available?)
- Tableaux methods for access control in distributed systems
- scientific article; zbMATH DE number 1844568 (Why is no real title available?)
- scientific article; zbMATH DE number 1844569 (Why is no real title available?)
- scientific article; zbMATH DE number 1844570 (Why is no real title available?)
- scientific article; zbMATH DE number 1884406 (Why is no real title available?)
- A new three-party-authenticated key agreement scheme based on chaotic maps without password table
- Key compromise, strand spaces, and the authentication tests
- Automated type-based analysis of injective agreement in the presence of compromised principals
- scientific article; zbMATH DE number 1394314 (Why is no real title available?)
- scientific article; zbMATH DE number 1424193 (Why is no real title available?)
- Reasoning About Trust and Belief Change on a Social Network: A Formal Approach
- Authentication and delegation with smart-cards
- Formal semantics for authentication logics
- Threat scenarios as a means to formally develop secure systems
- Modelling a public-key infrastructure
- scientific article; zbMATH DE number 4197466 (Why is no real title available?)
- Automatic verification of cryptographic protocols with SETHEO
- EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS
- A quantifier-free first-order knowledge logic of authentication
- A Formal Analysis of Complex Type Flaw Attacks on Security Protocols
- Refinement of Kripke Models for Dynamics
- A formal framework for authentication
- A subjective metric of authentication
- A cryptographically sound Dolev-Yao style security proof of the Otway-Rees protocol
- A vector model of trust for developing trustworthy systems
- Abstractions preserving parameter confidentiality
- A semantics for web services authentication
- Foundations of Security Analysis and Design III
- Web security: Authentication protocols and their analysis
- Reasoning about cryptographic protocols in the spi calculus
- A game-theoretic framework for specification and verification of cryptographic protocols
- To know or not to know: Epistemic approaches to security protocol verification
- An attack on the Needham-Schroeder public-key authentication protocol
- Reachability results for timed automata with unbounded data structures
- Probability timed automata for investigating communication processes
- Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol
This page was built for publication: A logic of authentication
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4206382)
