2043 search results - page 146 / 409 » Reasoning About Security Models |
107
click to vote
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
119
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
—We present a new model for distributed shared memory systems, based on remote data accesses. Such features are offered by network interface cards that allow one-sided operations...
114
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
There has been significant recent interest in game theoretic approaches to security, with much of the recent research focused on utilizing the leader-follower Stackelberg game mod...
131
click to vote
NMR
2004
Springer
15 years 6 months ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
119
click to vote
ICALP
2007
Springer
15 years 2 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...