6555 search results - page 49 / 1311 » Secure attribute-based systems |
ESORICS
1994
Springer
14 years 26 days ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
ISSRE
2007
IEEE
13 years 10 months ago
2007
IEEE
While important efforts are dedicated to system functional testing, very few works study how to test specifically security mechanisms, implementing a security policy. This paper i...
STORAGESS
2006
ACM
14 years 2 months ago
2006
ACM
New designs for petabyte-scale storage systems are now capable of transferring hundreds of gigabytes of data per second, but lack strong security. We propose a scalable and effici...
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Information systems are vulnerable to accidental or malicious attacks. Security models for commercial computer systems exist, but information systems security is often ig...
ACSW
2004
13 years 10 months ago
2004
A major step is required to integrate critical legal requirements into e-tendering system design. The current systems using ad-hoc security mechanisms do not meet the legal requir...