5215 search results - page 228 / 1043 » A model of normative power |
198
click to vote
ACISP
2008
Springer
15 years 9 months ago
2008
Springer
We consider one-round key exchange protocols secure in the standard model. The security analysis uses the powerful security model of Canetti and Krawczyk and a natural extension of...
186
click to vote
WSC
2004
15 years 8 months ago
2004
Stochastic Petri nets (SPNs) have proven to be a powerful and enduring graphically-oriented framework for modelling and performance analysis of complex systems. This tutorial focu...
195
click to vote
ESORICS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
171
click to vote
SIGGRAPH
2003
ACM
16 years 14 days ago
2003
ACM
Modelling by analogy has become a powerful paradigm for editing images. Using a pair of before- and afterexample images of a transformation, a system that models by analogy produc...
179
click to vote
ISSRE
2002
IEEE
16 years 4 days ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...