852 search results - page 131 / 171 » Model-Checking Access Control Policies |
ISW
1997
Springer
14 years 1 months ago
1997
Springer
Information security is based on access control models and cryptographic techniques. These are well established areas of research in computer security, but are not capable of supp...
BPSC
2010
13 years 6 months ago
2010
: This paper proposes a framework for the detection of information leaks in workflow descriptions based on static information flow analysis. Despite the correct deployment of acces...
USENIX
2003
13 years 10 months ago
2003
Trust management credentials directly authorize actions, rather than divide the authorization task into authentication and access control. Unlike traditional credentials, which bi...
NDSS
2000
IEEE
14 years 1 months ago
2000
IEEE
The distinguishing feature of a metasystem is middleware that facilitates viewing a collection of large, distributed, heterogeneous resources as a single virtual machine, where ea...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
—Existing handover schemes in wireless LANs, 3G/4G networks, and femtocells rely upon protocols involving centralized authentication servers and one or more access points. These ...