Symbolic verification of privacy-type properties for security protocols with XOR (extended version) [PDF]
, 2017 In symbolic verification of security protocols, process equivalences have recently been used extensively to model strong secrecy, anonymity and unlinkability properties.
Baelde, David +3 more
core +5 more sources
Transparency Enhancing Technologies to Make Security Protocols Work for Humans [PDF]
, 2020 As computer systems are increasingly relied on to make decisions that will have significant consequences, it has also become important to provide not only standard security guarantees for the computer system but also ways of explaining the output of the ...
Hicks, A, Murdoch, S
core +1 more source
Defense and Security Mechanisms in the Internet of Things: A Review
Applied SciencesThe Internet of Things (IoT) transforms traditional technology by introducing smart devices into almost every field, enabling real-time monitoring and automation.
Sabina Szymoniak +2 more
doaj +1 more source
Hardware‐assisted remote attestation design for critical embedded systems
IET Information Security, 2023 Remote attestation, as a challenge‐response protocol, enables a trusted entity, called verifier, to ask a potentially infected device, called prover, to provide integrity assurance about its internal state.
Munir Geden, Kasper Rasmussen
doaj +1 more source
Automated Analysis of Security Protocols with Global State [PDF]
, 2016 International audienceSecurity APIs, key servers and protocols that need to keep the status of transactions, require to maintain a global, non-monotonic state, e.g., in the form of a database or register.
Kremer, Steve, Künnemann, Robert
core +1 more source
Analysis of problems in the DNSSEC automation deployment
网络与信息安全学报, 2017 Based on the practice of domain name system security extensions protocols' deployment in country code top-level domain,the development background of the domain name system security extensions protocols were summarized,the current applications of the ...
Chuan GUO, Feng LENG
doaj +3 more sources
Enhancing Data Security Through VLSM Subnetting and TCP/IP Model in an ENT
Applied SciencesData in-transit from an at-rest state can be securely transmitted and managed within a network. Background: This work covers the design and simulation of an Enhanced Network Topology (ENT) with multiple components that connects multiple locations of an ...
Caxton Okoh +3 more
doaj +1 more source
Automating Security Analysis: Symbolic Equivalence of Constraint Systems [PDF]
, 2010 We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity or strong secrecy).
Hubert Comon-Lundh +5 more
core +1 more source
Solvability and Nilpotency of Lie Algebras in Cryptography and Steganography
MathematicsThis paper investigates the role of solvable and nilpotent Lie algebras in the domains of cryptography and steganography, emphasizing their potential in enhancing security protocols and covert communication methods.
Amor Hasić +3 more
doaj +1 more source
Safe abstractions of data encodings in formal security protocol models [PDF]
, 2014 When using formal methods, security protocols are usually modeled at a high level of abstraction. In particular, data encoding and decoding transformations are often abstracted away.
Pironti, Alfredo, Sisto, Riccardo
core +1 more source