1875 search results - page 4 / 375 » Automatic Network Protocol Analysis |
86
Voted
AINA
2005
IEEE
15 years 8 months ago
2005
IEEE
187
Voted
GLOBECOM
2006
IEEE
2006
IEEE
Performance Analysis of Distributed Source Coding and Packet Aggregation in Wireless Sensor Networks
15 years 8 months ago
— In this paper, we propose a theoretical setup for evaluation of energy efficiency of wireless sensor networks (WSNs) with distributed source coding (DSC) algorithms and packet...
162
Voted
CSFW
1999
IEEE
15 years 7 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
93
Voted
CSFW
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
153
Voted
DSOM
2006
Springer
15 years 6 months ago
2006
Springer
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...