2162 search results - page 35 / 433 » A Meta-Notation for Protocol Analysis |
130
click to vote
IJNSEC
2007
15 years 1 months ago
2007
In this paper a secure error-signalling scheme for packetswitched network architectures is presented. Current solutions are based on the Internet Control Message Protocol to deliv...
128
click to vote
ICICS
2010
Springer
14 years 12 months ago
2010
Springer
Due to the rapid growth of e-commerce technology, secure auction protocols have attracted much attention among researchers. The main reason for constructing sealed-bid auction prot...
156
click to vote
GLOBECOM
2010
IEEE
14 years 12 months ago
2010
IEEE
Cognitive networking deals with applying cognition to the entire network protocol stack for achieving stack-wide as well as network-wide performance goals, unlike cognitive radios ...
111
click to vote
JSW
2008
15 years 1 months ago
2008
A protocol for assuring the authenticity of information broadcasted over long periods of time is proposed. The protocol is based on time synchronization and uses one-way chains con...
124
click to vote
JCS
2007
15 years 1 months ago
2007
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...