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