378 search results - page 34 / 76 » Programming with Explicit Security Policies |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...
LICS
2003
IEEE
14 years 26 days ago
2003
IEEE
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...
FLOPS
2006
Springer
13 years 11 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
ACISP
2003
Springer
14 years 25 days ago
2003
Springer
Abstract. This paper examines the access control requirements of distributed health care information networks. Since the electronic sharing of an individual’s personal health inf...
ACSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
Traditionally, creation and revocation of certificates are performed manually, by trusted agents, under conditions that are rarely formalized. This approach to certificate managem...