361 search results - page 57 / 73 » Message Sequence Charts |
130
Voted
TGC
2005
Springer
15 years 11 months ago
2005
Springer
Protocol narrations are an informal means to describe, in an idealistic manner, the functioning of cryptographic protocols as a single intended sequence of cryptographic message ex...
148
click to vote
AI
2004
Springer
15 years 11 months ago
2004
Springer
Building conversation protocols has traditionally been an art more than a science, as their construction is often guided by designers’ intuition rather than by a principled appro...
147
Voted
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
166
Voted
IPSN
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper evaluates the performance of INSENS, an INtrusion-tolerant routing protocol for wireless SEnsor Networks. Security in sensor networks is important in battlefi...
136
click to vote
IH
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Traditionally, cryptographic protocols are described as a sequence of steps, in each of which one principal sends a message to another. It is assumed that the fundamental...