S. Gritzalis, D. Spinellis, and P. Georgiadis. Security Protocols over open networks and distributed systems: Formal methods for their analysis, design, and verification. Computer Communications, 22(8): 695-707, May 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Secure Java Development with UML - Jürjens (2001) (Correct)
....abstractions for Java security policy rules, simpli es security management and gives additional functionality. General Java security is considered e.g. in [GAS99] There has been extensive work regarding formal models for security, mostly about security protocols (for an overview cf. GSG99; RSG 01] A logic for access control was introduced in [ABLP93] 7. Conclusion and Future Work To summarise, we used a core of UML, the industry standard in object oriented modelling, to specify and reason about access control in distributed Java based systems. We have concentrated on ....
Stefanos Gritzalis, Diomidis Spinellis, and Panagiotis Georgiadis. Security protocols over open networks and distributed systems: Formal methods for their analysis, design, and veri cation. Computer Communications Journal, 22(8):695-707, 1999.
Specification-based Test Generation for Security-Critical.. - Wimmel, Jürjens (Correct)
....of such applications is a hard problem, and in many cases vulnerabilities are found after the system has been put into operation. Formal models can contribute to achieving high con dence in a system s security. A large number of modelling and veri cation approaches has been proposed (see [GSG99] for an overview) ranging from speci cations in general languages such as CSP or TLA to protocol speci c formalisms such as CASPER (a protocol de nition language that can be translated to CSP) or BAN (a logic modelling the actions and beliefs of the parties during execution of the protocol) ....
S. Gritzalis, D. Spinellis, and P. Georgiadis. Security protocols over open networks and distributed systems: Formal methods for their analysis, design, and veri cation. Computer Communications, 22(8):695-707, 1999.
Modelling Audit Security For Smart-Card Payment Schemes With.. - Jürjens (Correct)
....a conclusion and indicate further planned work. 1.1. Security assurance using formal modelling There has been extensive research in using formal models to verify secure systems. A few examples are [BAN89, Low96, Pau98, J ur00, AJ01, J ur01a, WW01] for an overview wrt. security protocols cf. GSG99, RSG 01] However, auditing does not seem to have been considered extensively. An overview on payment systems is given in [AJSW00] Smart card protocols have been investigated using formal logic in [ABKL93] 00] considers secure information ow between applets in a multiapplication ....
Stefanos Gritzalis, Diomidis Spinellis, and Panagiotis Georgiadis. Security protocols over open networks and distributed systems: Formal methods for their analysis, design, and veri cation. Computer Communications Journal, 22(8):695-707, 1999.
Evaluating the TLS Family of Protocols with Weakest Precondition.. - Childs (2000) (3 citations) (Correct)
....applications and the difficulty in ve rifying security through informal means. Different methodologies for verifying protocols have been explored. These have been termed inference construction methods , attack construction methods , and proof construction methods by Gritzalis and Spinellis [10]. Attack construction methods attempt to create sets of attacks from the algebraic properties of the protocol. It utilizes models of the actual computations to formally model protocols and to prove theorems about the protocols. The inference construction method analyzes the state of belief ....
S. Gritzalis, D. Spinellis, and P. Georgiadis. Security Protocols over open networks and distributed systems: Formal methods for their analysis, design, and verification. Computer Communications, 22(8): 695-707, May 1999.
Combining ISABELLE and Timbuk for Cryptographic Protocol.. - Oehl, Sinclair (2002) (Correct)
No context found.
S. Gritzalis, D. Spinellis, and P. Georgiadis. Security Protocols over open networks and distributed systems: Formal methods for their analysis, design, and verification. Computer Communications, 22(8): 695-707, May 1999.
Combining ISABELLE and Timbuk for Cryptographic Protocol.. - Oehl, Sinclair (2002) (Correct)
No context found.
S. Gritzalis, D. Spinellis, and P. Georgiadis. Security Protocols over open networks and distributed systems: Formal methods for their analysis, design, and verification. Computer Communications, 22(8): 695-707, May 1999.
A Flexible Approach to Secure and Fair Document Exchange - Zhang, Shi, Merabti (1999) (Correct)
No context found.
Gritzalis, S., Spinellis D. and Georgiadis, P. (1999) Security protocols over open networks and distributed systems: Formal methods for their analysis, design, and verification. Comput. Commun., 22, 697--709.
Automatic Approximation for the Verification of.. - OEHL, CECE.. (2003) (1 citation) (Correct)
No context found.
S. Gritzalis, D. Spinellis, and P. Georgiadis. Security Protocols over open networks and distributed systems: Formal methods for their analysis, design, and veri cation. Computer Communications, 22(8): 695-707, 1999. http://citeseer.nj.nec.com/gritzalis99security.html.
Combining ISABELLE and Timbuk for Cryptographic Protocol.. - Oehl, Sinclair (2002) (Correct)
No context found.
S. Gritzalis, D. Spinellis, and P. Georgiadis. Security Protocols over open networks and distributed systems: Formal methods for their analysis, design, and veri cation. Computer Communications, 22(8): 695-707, May 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC