Automated analysis of cryptographic protocols using Mur/spl phi/

No abstract is available for this paper.

• Publication year

  1997

• Venue

  Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097)

• Publication date

  1997-05-04

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/SECPRI.1997.601329
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• State reduction using reversible rules

  1996cited by this paper
• Breaking and Fixing the Needham-Schroeder Public-Key Protocol using CSP and FDR

  1996cited by this paper
• Better verification through symmetry

  1996cited by this paper
• Verifying Systems with Replicated Components in Murphi

  1996cited by this paper
• Analyzing the Needham-Schroeder Public-Key Protocol: A Comparison of Two Approaches

  1996cited by this paper
• Security properties and CSP

  1996cited by this paper
• A New Scheme for Memory-Efficient Probabilistic Verification

  1996cited by this paper
• System design methodology of ultraSPARC-I

  1995cited by this paper
• Automatic verification of the SCI cache coherence protocol

  1995cited by this paper
• Modelling and verifying key-exchange protocols using CSP and FDR

  1995cited by this paper
• System Design Methodology of UltraSPARCa#8482; -I

  1995cited by this paper
• Formal specification of abstract memory models

  1993cited by this paper
• Non-malleable cryptography

  1991cited by this paper
• Non-Malleable Cryptography (Extended Abstract)

  1991cited by this paper
• Key Distribution Protocol for Digital Mobile Communication Systems

  1989cited by this paper
• Using encryption for authentication in large networks of computers

  1978cited by this paper

• Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols

  2023cites this paper
• Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking

  2021cites this paper
• A Systematic Approach to Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking

  2021cites this paper
• SmartVerif: Push the Limit of Automation Capability of Verifying Security Protocols by Dynamic Strategies

  2020cites this paper
• Integrating encryption techniques for secure data storage in the cloud

  2020cites this paper
• Formal verification of the Internet Key Exchange (IKEv2) security protocol. (Vérification formelle du protocole d'échange de clé IKEv2)

  2020cites this paper
• Formal Analysis of 5G EAP-TLS Authentication Protocol Using Proverif

  2020cites this paper
• Formal analysis of QUIC handshake protocol using ProVerif

  2020cites this paper
• Analysis of Inappropriate Usage of Cryptographic Primitives in Indian Mobile Financial Applications

  2020cites this paper
• A Formal Specification and Verification Framework for Timed Security Protocols

  2018cites this paper
• Model Checking Security Protocols

  2018cites this paper
• New DoS Defense Method Based on Strong Designated Verifier Signatures

  2018cites this paper
• Verifying Security Protocols using Dynamic Strategies

  2018cites this paper
• Fog Computing Over IoT: A Secure Deployment and Formal Verification

  2017cites this paper
• Enhancement of Web Security Against External Attack

  2017cites this paper
• An Epistemic Foundation for Authentication Logics (Extended Abstract)

  2017cites this paper
• Secure Coding Practices in Java: Challenges and Vulnerabilities

  2017cites this paper
• Offline Trusted Device and Proxy Architecture Based on a new TLS Switching Technique

  2017cites this paper
• Automated Cryptographic Analysis of the Pedersen Commitment Scheme

  2017cites this paper
• Symmetry Reduction and Compositional Verification on Timed Automata

  2017cites this paper
• CRYPTOGRAPHIC PROTOCOLS SPECIFICATION AND VERIFICATION TOOLS - A SURVEY

  2017cites this paper
• Verifying the Security Characteristics of a Secure Physical Access Control Protocol

  2016cites this paper
• Modeling and Verifying Intelligent Unit Transmission Protocol Using CSP Model Checker PAT

  2016cites this paper
• The Applied Pi Calculus

  2016cites this paper
• Analysis of Cryptographic Protocols AKI, ARPKI and OPT using ProVerif and AVISPA

  2016influential citation
• Formal Verification of the xDAuth Protocol

  2016cites this paper
• Formal verification of security protocols using Spin

  2016cites this paper
• Formal Analysis of Selective Disclosure Attribute-Based Credential System in Applied Pi Calculus

  2016cites this paper
• Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA

  2015cites this paper
• Technical Report : Justifying a Dolev-Yao Model under Active Attacks ( Long Version ) ⋆

  2015cites this paper
• Tracking Security Flaws in Cryptographic Protocols Using Witness-Functions

  2015cites this paper
• Lessons Learned in Game Development for Crowdsourced Software Formal Verification

  2015cites this paper
• Verifying Parameterized Timed Security Protocols

  2015cites this paper
• Towards secure integration of cryptographic software

  2015cites this paper
• Supporting access to distributed EPRs (electronic patient records) with three levels of identity privacy preservation

  2015cites this paper
• Formal verification of the universal physical access control system (UPACS)

  2015cites this paper
• Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties

  2015cites this paper
• Towards High Assurance HTML5 Applications

  2014cites this paper
• Formal Models and Techniques for Analyzing Security Protocols: A Tutorial

  2014cites this paper
• Why does cryptographic software fail?: a case study and open problems

  2014cites this paper
• On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method

  2014cites this paper
• A rewriting-based forwards semantics for Maude-NPA

  2014cites this paper
• Scalable multi-core model checking

  2014cites this paper
• In-nimbo sandboxing

  2014cites this paper
• Mechanized Network Origin and Path Authenticity Proofs

  2014cites this paper
• Security Analysis and Improvement ofNU-EV Tracl

  2014cites this paper
• Actor Network Procedures as Psi-calculi for Security Ceremonies

  2014cites this paper
• iCryptoTracer: Dynamic Analysis on Misuse of Cryptography Functions in iOS Applications

  2014cites this paper
• Automatic Verification for Later-Correspondence of Security Protocols

  2014cites this paper
• Probabilistic Modelling of Humans in Security Ceremonies

  2014cites this paper
• Security analysis and improvement of NU-EV tracking and monitoring system

  2014cites this paper
• AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations

  2013cites this paper
• Computational Soundness of Coinductive Symbolic Security under Active Attacks

  2013cites this paper
• Modeling Kerberos Authentication Protocol Using Colored Petri Net

  2013cites this paper
• Cryptographic Protocol Verification via Supercompilation (A Case Study)

  2013cites this paper
• Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems

  2013cites this paper
• Formal Analysis of a Fairness E-Commerce Protocol

  2013cites this paper
• Formal Analysis of ISO/IEC 9798-2 Authentication Standard Using AVISPA

  2013cites this paper
• Integrity and Internal Control in Information Systems VI

  2013cites this paper
• Secured Dynamic Routing Strategy in Wireless Sensor Networks

  2013cites this paper
• Contributions to Specification, Implementation, and Execution of Secure Software

  2013cites this paper
• An empirical study of cryptographic misuse in android applications

  2013cites this paper
• Cryptographic Protocol Verication via Supercompilation

  2013cites this paper
• Using Interpolation for the Verification of Security Protocols

  2013cites this paper
• CLASSIFICATION, FORMALIZATION AND AUTOMATIC VERIFICATION OF UNTRACEABILITY IN RFID PROTOCOLS

  2013cites this paper
• Detection of Logic Flaws in Multi-party Business Applications via Security Testing

  2013cites this paper
• Modeling and analysis of LEAP, a key management protocol for wireless sensor networks

  2013cites this paper
• An Integrated Environment for Efficient Formal Design and Verification

  2013cites this paper
• Computer Aided Security for Cryptographic Primitives, Voting protocols, and Wireless Sensor Networks. (Sécurité assistée par ordinateur pour les primitives cryptgraphiques, les protocoles de vote électronique et les réseaux de capteurs sans fil)

  2012cites this paper
• Policies, Access Control, and Formal Methods

  2012cites this paper
• Security verification of hardware-enabled attestation protocols

  2012cites this paper
• Formalism of Protocol Security Analysis

  2012cites this paper
• Security Protocol Verification: Symbolic and Computational Models

  2012cites this paper
• Advancement Towards Secure Authentication in the Session Initiation Protocol

  2012cites this paper
• A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols

  2012cites this paper
• Formal security analysis of Ariadne secure routing protocol using model checking

  2012cites this paper
• Mobile Agents Security Protocols

  2012cites this paper
• Model Checking Security Protocols Draft Manuscript

  2012cites this paper
• Model based security guarantees and change

  2012cites this paper
• Key Initialization and Validation of Security Protocol Assumptions in a Home Health Care System

  2012cites this paper
• Model checking for the analysis and control of complex and non-deterministic systems

  2012cites this paper
• Design, Development, and Automated Verification of an Integrity-Protected Hypervisor

  2012cites this paper
• Fast automatic security protocol generation

  2012cites this paper
• A Moderate Weight EAP Authentication Method (EAP-MEAP) for Wireless Local Area Network

  2012cites this paper
• A BSP algorithm for on-the-fly checking CTL* formulas on security protocols

  2012cites this paper
• SASy username and password management on the cloud

  2012cites this paper
• SeVe: automatic tool for verification of security protocols

  2012cites this paper
• Payment Approval for PayWord

  2012cites this paper
• Automated Analysis of Cryptographic Protocols Based on Trusted Freshness

  2012cites this paper
• Design, Development and Automated Verification of an Integrity-Protected Hypervisor (CMU-CyLab-12-017)

  2012cites this paper
• Historical Background and Further Reading

  2012cites this paper
• Abstractions for model checking system security

  2012cites this paper
• Logic based analysis of security protocols in a unified verification framework

  2012cites this paper
• A Methodology to Analyse Entity Authentication

  2012cites this paper
• On-the-Fly Trace Generation Approach to the Security Analysis of the TMN Protocol with Homomorphic Property: A Petri Nets-Based Method

  2012cites this paper
• Automated security analysis of payment protocols

  2012cites this paper
• Automatic security verification for 3-party authentication and key exchange protocols

  2011cites this paper
• Security analysis of the TMN protocol by using Coloured Petri Nets: On-the-fly trace generation method and homomorphic property

  2011cites this paper
• Verification of security protocols based on multicast communication

  2011cites this paper
• Automatic Verification of Remote Internet Voting Protocol in Symbolic Model

  2011cites this paper