1679 search results - page 17 / 336 » Security Properties and CSP |
118
Voted
IMCS
2008
15 years 4 months ago
2008
Purpose
136
click to vote
IFIPTCS
2010
15 years 2 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)...
124
Voted
ICICS
2005
Springer
15 years 10 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 ...
147
click to vote
BIRTHDAY
2010
Springer
15 years 3 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...
143
click to vote
CCS
2003
ACM
15 years 9 months 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...