688 search results - page 9 / 138 » A Calculus for Access Control in Distributed Systems |
ICDCSW
2002
IEEE
14 years 25 days ago
2002
IEEE
CSFW
2003
IEEE
14 years 1 months ago
2003
IEEE
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, with typed cryptographic operations. The motivat...
ACISP
2003
Springer
14 years 1 months 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...
CSL
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
ASIAN
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space ...