671 search results - page 61 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
132
click to vote
ESORICS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
164
click to vote
ESORICS
2009
Springer
16 years 2 months ago
2009
Springer
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...
101
click to vote
ACSD
2010
IEEE
14 years 11 months ago
2010
IEEE
We present a formal framework to evaluate stochastic properties of MANET protocols. It captures the interplay between stochastic behavior of protocols deployed at different network...
180
click to vote
SIGMOD
2009
ACM
16 years 1 months ago
2009
ACM
We consider the Outsourced Aggregation model, where sensing services outsource their sensor data collection and aggregation tasks to third-party service providers called aggregato...
CCS
2009
ACM
15 years 8 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...