286 search results - page 11 / 58 » Pitfalls in Formal Reasoning about Security Protocols |
96
Voted
IEEEARES
2009
IEEE
15 years 6 months ago
2009
IEEE
—Alice and Bob notation is a popular way to describe security protocols: it is intuitive, succinct, and yet expressive. Several formal protocol specification languages are based...
123
Voted
CCS
2008
ACM
15 years 1 months ago
2008
ACM
In wireless systems, neighbor discovery (ND) is a fundamental building block: determining which devices are within direct radio communication is an enabler for networking protocol...
73
Voted
CADE
2005
Springer
15 years 12 months ago
2005
Springer
We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is...
CCS
2009
ACM
16 years 8 days ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
107
Voted
DEON
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...