Abstract Gorrieri and Martinelli’s tGNDC schema is a well-known gen-eral framework for the formal verification of security protocols in a con-current scenario. We generalise the tGNDC schema to verify wireless network security protocols. Our generalisation relies on a simple timed broadcasting process calculus whose operational semantics is given in terms of a labelled transition system which is used to derive a stan-dard simulation theory. We apply our tGNDC framework to perform a security analysis of LiSP, a well-known key management protocol for wireless sensor networks.
The security objectives enforce the security policy, which defines what is to be protected in a netw...
Abstract. We propose a process calculus for mobile ad hoc networks which relies on an abstract behav...
We propose a timed process calculus for wireless systems exposed to communication collisions. The op...
Gorrieri and Martinelli’s tGNDC is a general framework for the formal verification of security proto...
Gorrieri and Martinelli’s timed Generalized Non-Deducibility on Compositions (tGNDC) schema is a wel...
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calc...
We show how a recent language for the description of cryptographic protocols in a real time setting ...
We present a formal model for modeling and reasoning about security protocols. Our model extends sta...
AbstractWe propose a timed broadcasting process calculus for wireless systems where time-consuming c...
We propose a timed broadcasting process calculus for wireless systems where time-consuming communica...
We propose a timed broadcasting process calculus for wireless systems where time-consuming communica...
AbstractSoftware systems play an important role in social infrastructures, and in the public and pri...
A real-time process algebra, enhanced with specific constructs for handling cryptographic primitives...
AbstractIn wireless systems, the communication mechanism combines features of broadcast, synchrony, ...
Gossip protocols have been proposed as a robust and efficient method for disseminating information t...
The security objectives enforce the security policy, which defines what is to be protected in a netw...
Abstract. We propose a process calculus for mobile ad hoc networks which relies on an abstract behav...
We propose a timed process calculus for wireless systems exposed to communication collisions. The op...
Gorrieri and Martinelli’s tGNDC is a general framework for the formal verification of security proto...
Gorrieri and Martinelli’s timed Generalized Non-Deducibility on Compositions (tGNDC) schema is a wel...
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calc...
We show how a recent language for the description of cryptographic protocols in a real time setting ...
We present a formal model for modeling and reasoning about security protocols. Our model extends sta...
AbstractWe propose a timed broadcasting process calculus for wireless systems where time-consuming c...
We propose a timed broadcasting process calculus for wireless systems where time-consuming communica...
We propose a timed broadcasting process calculus for wireless systems where time-consuming communica...
AbstractSoftware systems play an important role in social infrastructures, and in the public and pri...
A real-time process algebra, enhanced with specific constructs for handling cryptographic primitives...
AbstractIn wireless systems, the communication mechanism combines features of broadcast, synchrony, ...
Gossip protocols have been proposed as a robust and efficient method for disseminating information t...
The security objectives enforce the security policy, which defines what is to be protected in a netw...
Abstract. We propose a process calculus for mobile ad hoc networks which relies on an abstract behav...
We propose a timed process calculus for wireless systems exposed to communication collisions. The op...
Add to ORKG