977 search results - page 42 / 196 » Soft Constraints for Security |
JCS
2010
14 years 4 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
CADE
2010
Springer
14 years 11 months ago
2010
Springer
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...
COLCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract. We investigate a security framework for collaborative applications that relies on the role-based access control (RBAC) model. In our framework, roles are pre-defined and...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Secure distributed data compression in the presence of an eavesdropper is explored. Two correlated sources that need to be reliably transmitted to a legitimate receiver are availab...
CP
2000
Springer
15 years 2 months ago
2000
Springer
