741 search results - page 85 / 149 » Verification of security protocols using LOTOS-method and ap... |
159
click to vote
CRISIS
2009
15 years 1 months ago
2009
IPv6 is an attractive technology for innovative services such as health care monitoring, alarm systems, peer to peer applications, virtual machine systems and so on. The generaliza...
160
click to vote
CCR
2011
14 years 11 months ago
2011
While analyzing CAIDA Internet traces of TCP traffic to detect instances of data reneging, we frequently observed seven misbehaviors in the generation of SACKs. These misbehaviors...
157
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
131
click to vote
LCN
2007
IEEE
15 years 10 months ago
2007
IEEE
—Vehicular networks face a typical quandary in their requirement for communications that are at once secure and private. While the messages broadcast between vehicles and between...
127
click to vote
SENSYS
2009
ACM
15 years 10 months ago
2009
ACM
We will demonstrate a wireless sensor network system for the surveillance of critical areas and properties – e.g. borders. The system consists of up to 10 sensor nodes that moni...