A control-theoretic perspective on the design of distributed agreement protocols

2007 ◽  
Vol 17 (10-11) ◽  
pp. 1034-1066 ◽  
Author(s):  
Sandip Roy ◽  
Ali Saberi ◽  
Kristin Herlugson
Keyword(s):  
Agreement Protocols ◽  
Distributed Agreement

scholarly journals QuickSilver: modeling and parameterized verification for distributed agreement-based systems

2021 ◽  
Vol 5 (OOPSLA) ◽  
pp. 1-31
Author(s):  
Nouraldin Jaber ◽  
Christopher Wagner ◽  
Swen Jacobs ◽  
Milind Kulkarni ◽  
Roopsha Samanta
Keyword(s):  
Modular Design ◽  
Automated Verification ◽  
Deductive Verification ◽  
Distributed Services ◽  
System A ◽  
Parameterized Verification ◽  
Data Store ◽  
Real World Applications ◽  
Agreement Protocols ◽  
Distributed Agreement

The last decade has sparked several valiant efforts in deductive verification of distributed agreement protocols such as consensus and leader election. Oddly, there have been far fewer verification efforts that go beyond the core protocols and target applications that are built on top of agreement protocols. This is unfortunate, as agreement-based distributed services such as data stores, locks, and ledgers are ubiquitous and potentially permit modular, scalable verification approaches that mimic their modular design. We address this need for verification of distributed agreement-based systems through our novel modeling and verification framework, QuickSilver, that is not only modular, but also fully automated. The key enabling feature of QuickSilver is our encoding of abstractions of verified agreement protocols that facilitates modular, decidable, and scalable automated verification. We demonstrate the potential of QuickSilver by modeling and efficiently verifying a series of tricky case studies, adapted from real-world applications, such as a data store, a lock service, a surveillance system, a pathfinding algorithm for mobile robots, and more.

scholarly journals Secure multiparty quantum key agreement against collusive attacks

2021 ◽  
Vol 11 (1) ◽  
Author(s):  
Hussein Abulkasim ◽  
Atefeh Mashatan ◽  
Shohini Ghose
Keyword(s):  
Key Agreement ◽  
Sensitive Information ◽  
Quantum Key Agreement ◽  
Key Agreement Protocol ◽  
Proposed Model ◽  
Shared Key ◽  
Agreement Protocols ◽  
Collusive Attacks ◽  
Attack Strategy ◽  
Collusive Attack

AbstractQuantum key agreement enables remote participants to fairly establish a secure shared key based on their private inputs. In the circular-type multiparty quantum key agreement mode, two or more malicious participants can collude together to steal private inputs of honest participants or to generate the final key alone. In this work, we focus on a powerful collusive attack strategy in which two or more malicious participants in particular positions, can learn sensitive information or generate the final key alone without revealing their malicious behaviour. Many of the current circular-type multiparty quantum key agreement protocols are not secure against this collusive attack strategy. As an example, we analyze the security of a recently proposed multiparty key agreement protocol to show the vulnerability of existing circular-type multiparty quantum key agreement protocols against this collusive attack. Moreover, we design a general secure multiparty key agreement model that would remove this vulnerability from such circular-type key agreement protocols and describe the necessary steps to implement this model. The proposed model is general and does not depend on the specific physical implementation of the quantum key agreement.

scholarly journals Questioning the security of three recent authentication and key agreement protocols

IEEE Access ◽  
2021 ◽  
pp. 1-1
Author(s):  
Amir Masoud Rahmani ◽  
Mokhtar Mohammadi ◽  
Shima Rashidi ◽  
Jan Lansky ◽  
Stanislava Mildeova ◽  
...  
Keyword(s):  
Key Agreement ◽  
Authentication And Key Agreement ◽  
Agreement Protocols

Identity-based key agreement protocols from pairings

2007 ◽  
Vol 6 (4) ◽  
pp. 213-241 ◽  
Author(s):  
L. Chen ◽  
Z. Cheng ◽  
N. P. Smart
Keyword(s):  
Key Agreement ◽  
Identity Based ◽  
Agreement Protocols
Sign in / Sign up

Export Citation Format

Share Document