526 search results - page 32 / 106 » A Z Based Approach to Verifying Security Protocols |
158
Voted
ESORICS
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
147
Voted
ICST
2008
IEEE
16 years 10 days ago
2008
IEEE
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...
262
Voted
POPL
2006
ACM
16 years 6 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
205
Voted
JSAC
2010
15 years 21 days ago
2010
Abstract--Wireless sensor networks (WSNs) deployed in hostile environments are vulnerable to clone attacks. In such attack, an adversary compromises a few nodes, replicates them, a...
140
click to vote
GI
2007
Springer
15 years 9 months ago
2007
Springer
: Container security systems including electronic seals play an important role in securing container logistics. Nevertheless, a lack of standards prevents devices by different vend...