718 search results - page 30 / 144 » Security protocols, properties, and their monitoring |
107
click to vote
IJSN
2008
15 years 1 months ago
2008
: Security has become the corner stone of research in wireless sensor networks (WSNs). Due to the unique operational environment of WSNs, where the communication medium is open to ...
129
click to vote
ESWS
2009
Springer
15 years 8 months ago
2009
Springer
We propose a middleware for automated implementation of security protocols for Web services. The proposed middleware consists of two main layers: the communication layer and the se...
125
click to vote
LOPSTR
2001
Springer
15 years 6 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
111
click to vote
ICIW
2008
IEEE
15 years 8 months ago
2008
IEEE
—Buyer-seller watermarking protocols incorporates digital watermarking with cryptography, in order to protect digital copyrights and privacy rights for the seller and the buyer b...
108
click to vote
FUIN
2007
15 years 1 months ago
2007
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...