Results 11 to 20 of about 2,516,508 (290)
Incentives in Security Protocols [PDF]
, 2018 Real world protocols often involve human choices that depend on incentives, including when they fail. We look at three example systems (the EMV protocol, consensus in cryptocurrencies, and Tor), paying particular attention to the role that incentives play in fail-safe and fail-deadly situations.
Sarah Azouvi +2 more
core +4 more sources
Marine Network Protocols and Security Risks
Journal of Cybersecurity and Privacy, 2021 Marine network protocols are domain-specific network protocols that aim to incorporate particular features within the specialized marine context that devices are implemented in.
Ky Tran +3 more
doaj +2 more sources
Symbolic verification of privacy-type properties for security protocols with XOR [PDF]
, 2017 International audienceIn symbolic verification of security protocols, process equivalences have recently been used extensively to model strong secrecy, anonymity and unlinkability properties.
Baelde, David +7 more
core +5 more sources
Security Protocols as Choreographies [PDF]
, 2021 A choreography gives a description of how endpoints in a concurrent systems should exchange messages during its execution. In this paper, we informally introduce a choreographic language for describing security protocols and a property language for expressing non-trivial security properties of such protocols.
Alessandro Bruni +4 more
openaire +4 more sources
Heuristic Methods for Security Protocols [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 Model checking is an automatic verification technique to verify hardware and software systems. However it suffers from state-space explosion problem. In this paper we address this problem in the context of cryptographic protocols by proposing a security ...
Qurat ul Ain Nizamani, Emilio Tuosto
doaj +1 more source
A Provable Secure Session Key Distribution Protocol Based on NSSK for In-Vehicle CAN Network
Mathematics, 2022 Many CAN-based session key sharing approaches are based on the group key scheme, which can easily lead advanced adversaries to infiltrate all ECUs (electronic control units) in the network if the sharing key is leaked.
Long Yin, Jian Xu, Zihao Wang, Chen Wang
doaj +1 more source
Key Agreement and Authentication Protocols in the Internet of Things: A Survey
Applied Sciences, 2022 The rapid development of Internet of things (IoT) technology has made the IoT applicable in many areas of life and has contributed to the IoT’s improvement.
Sabina Szymoniak, Shalini Kesar
doaj +1 more source
Composing security protocols: from confidentiality to privacy [PDF]
, 2015 Security protocols are used in many of our daily-life applications, and our privacy largely depends on their design. Formal verification techniques have proved their usefulness to analyse these protocols, but they become so complex that modular ...
Arapinis, Myrto +6 more
core +1 more source
Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 2003 AbstractThis paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting from basic security components, using a sequence of refinements and transformations, just like logical proofs are derived starting from axioms, using proof rules and ...
Datta, A +3 more
openaire +3 more sources
Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]
, 2010 Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Pironti, Alfredo, Sisto, Riccardo
core +1 more source