3115 search results - page 128 / 623 » Synthesizing Secure Protocols |
EVOW
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Nature inspired routing protocols for fixed and mobile networks are becoming an active area of research. However, analyzing their security threats and countering them hav...
CASCON
2006
14 years 11 months ago
2006
State based protocols are protocols in which the handling of one message depends on the contents of previous messages. Testing such protocols, for security or for other purposes u...
CN
2010
14 years 9 months ago
2010
PuppetCast is a protocol for secure peer sampling in large-scale distributed systems. A peer sampling protocol continuously provides each node in the system with a uniform random ...
101
click to vote
PST
2004
14 years 11 months ago
2004
Syntax-based vulnerability testing is a static black-box testing method for protocol implementations. It involves testing the Implementation Under Test (IUT) with a large number o...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
In the article we present two untraceability protocols for mobile agents. Comparing to other solutions, the advantage of the protocols is that they support agent’s autonomy in c...