1679 search results - page 17 / 336 » Security Properties and CSP |
IMCS
2008
13 years 7 months ago
2008
Purpose
IFIPTCS
2010
13 years 5 months ago
2010
Abstract. In the field of Security, process equivalences have been used to characterize various information-hiding properties (for instance secrecy, anonymity and non-interference)...
ICICS
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we analyse the security of two authenticated group key agreement schemes based on the group key agreement protocol of Burmester and Desmedt. One scheme was proposed ...
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
In certain critical cases the data flow between business departments in banking organizations has to respect security policies known as Chinese Wall or Bell–La Padula. We show t...
CCS
2003
ACM
14 years 27 days ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...