Formal Analysis of a Non-Repudiation Protocol

doi 10.1109/csfw.1998.683155
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IEEE Comput. Soc

Related search

A Formal Analysis of the Norwegian E-Voting Protocol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

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

2003English

Formal Description of Mobile IPv6 Protocol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

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

Engineering Journal: Science and Innovation
2013English

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

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2004English

Preserving Anonymity in E-Voting System Using Voter Non-Repudiation Oriented Scheme

2017English

Formal Verification of a Group Membership Protocol Using Model Checking

English

Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

A Formal Semantic Analysis of Gesture

Journal of Semantics
LinguisticsArtsLanguageArtificial IntelligenceHumanities
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy