286 search results - page 44 / 58 » Pitfalls in Formal Reasoning about Security Protocols |
180
click to vote
EUROCRYPT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In the bounded-storage model (BSM) for information-theoretically secure encryption and key-agreement one uses a random string R whose length t is greater than the assumed...
145
click to vote
CALCO
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
164
click to vote
PEWASUN
2004
ACM
15 years 11 months ago
2004
ACM
A mobile ad hoc network consists of mobile nodes that can move freely in an open environment. Communicating nodes in a wireless and mobile ad hoc network usually seek the help of ...
161
click to vote
MMMACNS
2005
Springer
15 years 11 months ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
195
click to vote
MSCS
2006
15 years 6 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...