Formal Specification and Analysis of the Group Domain of Interpretation Protocol Using NPATRL and the NRL Protocol Analyzer

Journal of Computer Security - Netherlands
doi 10.3233/jcs-2004-12604
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

Enhancing Formal Specification and Verification of E-Commerce Protocol

Journal of Advanced Computer Science & Technology
2017English

What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis

2003English

Formal Verification of a Group Membership Protocol Using Model Checking

English

A Formal Analysis of the Norwegian E-Voting Protocol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Inter-Domain Policy Routing Protocol Specification: Version 1

1993English

Formal Analysis of a Non-Repudiation Protocol

English

RPCSEC_GSS Protocol Specification

1997English

Formal Logical Analysis of the Correctness of the Specifications of Network Protocol SIP

Engineering Journal: Science and Innovation
2013English

Real-Time IPMI Protocol Analyzer

IEEE Transactions on Nuclear Science
Electronic EngineeringNuclearNuclear EnergyHigh Energy PhysicsEngineeringElectrical
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy