Modelling and Verification of Layered Security Protocols: A Bank Application

No abstract is available for this paper.

• Publication year

  2003

• Venue

  International Conference on Computer Safety, Reliability, and Security

• Publication date

  2003-09-23

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-540-39878-3_10
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Critical Systems Development with UML

  2004cited by this paper
• Secure systems development with UML

  2004cited by this paper
• A Temporal Logic of Nested Calls and Returns

  2004cited by this paper
• What Is Computer Security?

  2003cited by this paper
• Safety and Security Analysis of Object-Oriented Models

  2002cited by this paper
• The CORAS Framework for a Model-Based Risk Management Process

  2002cited by this paper
• A Problem-Oriented Approach to Common Criteria Certification

  2002cited by this paper
• Specification And Development Of Interactive Systems

  2001cited by this paper
• Extended Description Techniques for Security Engineering

  2001cited by this paper
• Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications

  2001cited by this paper
• Formal Methods Diffusion: Past Lessons and Future Prospects

  2000cited by this paper
• Security Goals: Packet Trajectories and Strand Spaces

  2000cited by this paper
• The quest for correct systems: model checking of diagrams and datatypes

  1999cited by this paper
• Tool Supported Specification and Simulation of Distributed Systems

  1998cited by this paper
• The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process

  1998cited by this paper
• Overview over the Project Quest

  1998cited by this paper
• Traffic lights-an AutoFocus case study

  1998influential reference
• Finite-State Analysis of SSL 3.0

  1998cited by this paper
• The inductive approach to verifying cryptographic protocols

  1998cited by this paper
• Applied Formal Methods — FM-Trends 98

  1998cited by this paper
• QUEST: Overview over the Project

  1998influential reference
• Message Sequence Chart (MSC)

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

  1996cited by this paper
• Haskell: The Craft of Functional Programming

  1996cited by this paper
• Symbolic Model Checking

  1993cited by this paper
• The Design of Distributed Systems - An Introduction to FOCUS-revised version

  1992cited by this paper
• Temporal and Modal Logic

  1991cited by this paper
• Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics

  1990cited by this paper
• A logic of authentication

  1990cited by this paper
• On the security of public key protocols

  1981influential reference

• Challenges In Applying Artificial Intelligence In Banking Sector: A Scientometric Review

  2022cites this paper
• Reusable knowledge in security requirements engineering: a systematic mapping study

  2015cites this paper
• Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications

  2015cites this paper
• Genie in a Model? Why Model Driven Security will not secure your Web Application

  2014cites this paper
• Evaluating A Uml-Based Modeling Framework For Process-Related Security Properties: A Qualitative Multi-Method Study

  2013cites this paper
• A network identity authentication protocol of bank account system based on fingerprint identification and mixed encryption

  2013cites this paper
• Design and evaluation of a system to extend identity management to multiple devices

  2012cites this paper
• Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications

  2011cites this paper
• Security Analysis of a Biometric Authentication System Using UMLsec and JML

  2009cites this paper
• An integrated framework for security protocol analysis

  2008cites this paper
• Quantitative risk-based security prediction for component-based systems with explicitly modeled attack profiles

  2008cites this paper
• Model-based security analysis for mobile communications

  2008cites this paper
• Model-Based Security Engineering of Distributed Information Systems Using UMLsec

  2007cites this paper
• A Framework for Analyzing Composition of Security Aspects

  2006cites this paper
• Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych

  2006cites this paper
• Risky trust

  2005cites this paper
• Sound development of secure service-based systems

  2004cites this paper
• Modelling Secure IT Systems - A Survey

  2004cites this paper
• Model-Based Security Engineering with UML

  2004cites this paper
• Tool supported development of service-based systems

  2004cites this paper
• Componentware for Critical Systems

  2004cites this paper
• Componentware-State of the Art 2003

  2003cites this paper
• Componentware - State of the Art 2003 Background Paper for the Understanding Components Workshop of the CUE Initiative at the Univerita Ca' Foscari di Venezia Venice, October 7th-9th 2003

  2003cites this paper
• City Research Online

  year unknowncites this paper