1875 search results - page 5 / 375 » Automatic Network Protocol Analysis |
CAV
1999
Springer
13 years 11 months ago
1999
Springer
IANDC
2008
13 years 7 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
SIGCOMM
2012
ACM
11 years 10 months ago
2012
ACM
Today’s inter-domain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfiguration by individual autonomous system...
CSFW
2003
IEEE
14 years 25 days ago
2003
IEEE
We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the detailed checks that need to be made in a protocol. W...
EWSN
2006
Springer
14 years 7 months ago
2006
Springer
Abstract. Sensor network devices have limited battery resources primarily consumed by radio communication. Network nodes play different communication roles and consequently consume...