1737 search results - page 142 / 348 » Using Strategy Objectives for Network Security Analysis |
151
click to vote
NDSS
2000
IEEE
15 years 9 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
141
click to vote
CSFW
2003
IEEE
15 years 10 months ago
2003
IEEE
A type confusion attack is one in which a principal accepts data of one type as data of another. Although it has been shown by Heather et al. that there are simple formatting conv...
142
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
Intuition is often not a good guide to know which testing strategies will work best. There is no substitute for experimental analysis based on objective criteria: how many bugs a ...
160
click to vote
MOBICOM
2003
ACM
15 years 10 months ago
2003
ACM
We develop distributed algorithms for self-organizing sensor networks that respond to directing a target through a region. The sensor network models the danger levels sensed acros...
151
click to vote
WETICE
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we introduce Social VPNs, a novel system architecture which leverages existing social networking infrastructures to enable ad-hoc VPNs which are self-configuring, s...