On the Formalisation of $$\varSigma $$ -Protocols and Commitment Schemes

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-030-17138-4_8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Enacting Protocols by Commitment Concession

2007English

Identification Protocols and Signature Schemes Based on Supersingular Isogeny Problems

Journal of Cryptology
Applied MathematicsComputer Science ApplicationsSoftware
2019English

Quantum Bit Commitment and Coin Tossing Protocols

English

Formalisation and Verification of Interoperation Requirements on Collaborative Processes

IFAC Proceedings Volumes
2011English

Decisional Interoperability: Concepts and Formalisation

English

The Combination of the Lattice Theory Problem and the Number Theory Problem in the Authentication Schemes, Algorithms and Protocols

Journal of the Ural Federal District Information security
2019English

Simple Authentication Schemes for the Asynchronous Layered Coding (ALC) and NACK-Oriented Reliable Multicast (NORM) Protocols

2012English

Formalisation and Simulation of Operating Rules Using Coloured Petri Nets

WIT Transactions on the Built Environment
BuildingReliabilityArtsTransportationRiskHumanitiesAutomotive EngineeringStructural EngineeringCivilConstructionSafetyArchitectureComputer Science ApplicationsSafety ResearchQuality
2006English

On the Impact of Ontological Commitment

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy