28 search results - page 4 / 6 » Specifying and Modelling Secure Channels in Strand Spaces |
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
Arbitrary Inter-frame Space (AIFS), Contention Window (CW) and Transmission Opportunity (TXOP) are three important Quality-of-Service (QoS) differentiation schemes specified in the...
SIGADA
2004
Springer
14 years 29 days ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
WETICE
2005
IEEE
14 years 1 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
HPDC
1996
IEEE
13 years 11 months ago
1996
IEEE
This document describes the core Legion object model. The model specifies the composition and functionality of Legion's core objects--those objects that cooperate to create, ...
CCS
2011
ACM
12 years 7 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...