1679 search results - page 17 / 336 » Security Properties and CSP |
90
Voted
IMCS
2008
15 years 1 months ago
2008
Purpose
114
click to vote
IFIPTCS
2010
14 years 11 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)...
106
Voted
ICICS
2005
Springer
15 years 7 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 ...
123
click to vote
BIRTHDAY
2010
Springer
15 years 26 days 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...
122
click to vote
CCS
2003
ACM
15 years 7 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...