Formal Verification of Security Protocol Implementations: A Survey [PDF]
, 2014 Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol implementations written in programming languages.
Pironti, Alfredo +3 more
core +1 more source
TinyIBE: identity-based encryption for heterogeneous sensor networks [PDF]
, 2009 The area of security for heterogeneous sensor networks (HSNs) is still an open research field that requires new cryptographic solutions. Recent results have demonstrated that elliptic curve cryptography (ECC) and pairing-based cryptography (PBC) are ...
Martin Collier +3 more
core +2 more sources
Computational and Energy Costs of Cryptographic Algorithms on Handheld Devices [PDF]
, 2011 Networks are evolving toward a ubiquitous model in which heterogeneous devices are interconnected. Cryptographic algorithms are required for developing security solutions that protect network activity. However, the computational and energy limitations
Herrera-Joancomartí, Jordi +4 more
core +1 more source
Low-energy symmetric key distribution in wireless sensor networks [PDF]
, 2011 In this work a scheme for key distribution and network access in a Wireless Sensor Network (WSN) that utilises Identity- Based Cryptography (IBC) is presented.
N E O'Connor +4 more
core +2 more sources
Practical identity-based key agreement for secure communication in sensor networks [PDF]
, 2009 Despite much research effort key distribution in Wireless Sensor Networks (WSNs) still remains an open problem. In this paper we address this issue by proposing a simple identity- based key agreement scheme. Our protocol uses Identity-Based Cryptography (
Martin Collier +3 more
core +2 more sources
Unified Model for Data Security -- A Position Paper [PDF]
, 2014 One of the most crucial components of modern Information Technology (IT) systems is data. It can be argued that the majority of IT systems are built to collect, store, modify, communicate and use data, enabling different data stakeholders to access and ...
Ko, Ryan K. L. +5 more
core +1 more source
Agri-Food Traceability Management using a RFID System with Privacy Protection [PDF]
, 2007 In this paper an agri-food traceability system based on public key cryptography and Radio Frequency Identification (RFID) technology is proposed. In order to guarantee safety in food, an efficient tracking and tracing system is required.
B. Montrucchio +12 more
core +1 more source
Pseudorandom number generation based on controllable cellular automata [PDF]
, 2003 A novel Cellular Automata (CA) Controllable CA (CCA) is proposed in this paper. Further, CCA are applied in Pseudorandom Number Generation. Randomness test results on CCA Pseudorandom Number Generators (PRNGs) show that they are better than 1-d CA PRNGs
Zhang, S. +5 more
core +1 more source
Securing Communication in 6LoWPAN with Compressed IPsec [PDF]
, 2011 Real-world deployments of wireless sensor networks (WSNs) require secure communication. It is important that a receiver is able to verify that sensor data was generated by trusted nodes.
Raza, Shahid +5 more
core +3 more sources
Formally based semi-automatic implementation of an open security protocol [PDF]
, 2012 International audienceThis paper presents an experiment in which an implementation of the client side of the SSH Transport Layer Protocol (SSH-TLP) was semi-automatically derived according to a model-driven development paradigm that leverages formal ...
Pironti, Alfredo +5 more
core +1 more source