718 search results - page 14 / 144 » Security protocols, properties, and their monitoring |
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Type-flaw attacks and multi-protocol attacks on security protocols have been frequently reported in the literature. Heather et al. and Guttman et al. proved that these could be pr...
121
click to vote
PEWASUN
2004
ACM
15 years 5 months ago
2004
ACM
In large and dense mobile ad hoc networks, position-based routing protocols can offer significant performance improvement over topology-based routing protocols by using location i...
102
click to vote
IJSN
2007
14 years 11 months ago
2007
Wireless sensor networks (WSNs) are ad hoc networks comprised mainly of small sensor nodes with limited resources, and can be used to monitor areas of interest. In this paper, we p...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
121
click to vote
SAM
2004
15 years 1 months ago
2004
We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security pr...