113 search results - page 10 / 23 » Safe Equivalences for Security Properties |
TCC
2005
Springer
14 years 1 months ago
2005
Springer
The existing unconditional security definitions of quantum key distribution (QKD) do not apply to joint attacks over QKD and the subsequent use of the resulting key. In this paper...
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
CSL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
IFIP
2009
Springer
14 years 2 months ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...