Paper

Type

 

Title

Programming Access Control: The Klaim Experience  

Authors

Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese 

Book

Proc. of the 11th International Conference on Concurrency Theory (CONCUR'00)  

Abstract

In the design of programming languages for highly distributed systems where processes can migrate and execute on new hosts, the integration of security mechanisms is a major challenge. In this paper, we report our experience in the design of an experimental programming language, called Klaim, which provides mechanisms to customize access control policies. Klaim security architecture exploits a capability-based type system to provide mechanisms for specifying and enforcing policies that control uses of resources and authorize migration and execution of processes. By means of a few programming examples, we illustrate the flexibility of the Klaim approach to support the specification of control policies and to guarantee their enforcement.  

Year

2000  

Bibtex key

DFP00  

Paper Url1

http://music.dsi.unifi.it/papers/concur00.ps.gz  

Bibtex

@{DFP00,
  title = {{Programming Access Control: The Klaim Experience}},
  author = {De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario},
  booktitle = {Proc. of the 11th International Conference on Concurrency Theory (CONCUR'00)},
  abstract = {In the design of programming languages for highly distributed systems where
      processes can migrate and execute on new hosts, the integration of security
      mechanisms is a major challenge. In this paper, we report our experience in the
      design of an experimental programming language, called Klaim, which provides
      mechanisms to customize access control policies. Klaim security architecture
      exploits a capability-based type system to provide mechanisms for specifying and
      enforcing policies that control uses of resources and authorize migration and
      execution of processes. By means of a few programming examples, we illustrate
      the flexibility of the Klaim approach to support the specification of control
      policies and to guarantee their enforcement. },
  year = {2000},
  url = {http://music.dsi.unifi.it/papers/concur00.ps.gz},
  publisher = {Springer},
  series = {LNCS},
}

 

Created

0000-00-00 00:00:00  

Modified

0000-00-00 00:00:00