Types for access control

Nicola, Rocco De; Ferrari, Gian Luigi; Pugliese, Rosario; Venneri, Betti

doi:10.1016/s0304-3975(99)00232-7

Cited by 66 publications

(37 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…-A type system for KLAIM has been introduced for controlling process activities, namely their use to resources and their migrations over the net (De Nicola et al 2000). -A full-fledged programming language, X-KLAIM, extending KLAIM with a high level syntax for processes, has been defined (Bettini & De Nicola 2005).…”

Section: The Klaim Approachmentioning

confidence: 99%

Modelling global computations with Klaim

Nicola

Loreti

2008

Phil. Trans. R. Soc. A.

View full text Add to dashboard Cite

A new area of research, known as Global Computing, is by now well established. It aims at defining new models of computation based on code and data mobility over wide-area networks with highly dynamic topologies, and at providing infrastructures to support coordination and control of components originating from different, possibly untrusted, fault-prone, malicious or selfish sources. In this paper, we present our contribution to the field of Global Computing that is centred on Kernel Language for Agents Interaction and Mobility (KLAIM). KLAIM is an experimental language specifically designed to programme distributed systems consisting of several mobile components that interact through multiple distributed tuple spaces. We present some of the key notions of the language and discuss how its formal semantics can be exploited to reason about qualitative and quantitative aspects of the specified systems.

show abstract

Section: The Klaim Approachmentioning

confidence: 99%

Modelling global computations with Klaim

Nicola

Loreti

2008

Phil. Trans. R. Soc. A.

View full text Add to dashboard Cite

show abstract

“…There is no support for open systems or sandboxing. Further studies of access control in variants of the Klaim calculus can be found in [9,8].…”

Section: Related Workmentioning

confidence: 99%

Sandboxing in myKlaim

Hansen

Probst

Nielson

2006

First International Conference on Availability, Reliability and Security (ARES'06)

View full text Add to dashboard Cite

show abstract

“…Finally, KLAIM [9,10,12,13] uses a capability type system to control operations on tuple spaces. The KLAIM approach uses a notion of security policies, which are declared at site level, but differs substantially from our approach in what concerns how policies are programmed and checked.…”

Section: Conclusion and Related Workmentioning

confidence: 99%

History-Based Access Control for Distributed Processes

Martins

Vasconcelos

2005

Trustworthy Global Computing

View full text Add to dashboard Cite

Abstract. This paper presents a type system to control the migration of code between network nodes in a concurrent distributed framework, using the Dπ language. We express resource access policies as types and enforce policies via a type system. Types describe paths travelled by migrating code, enabling the control of history sensitive access to resources. Sites are logically organised in subnetworks that share the same security policies, statically specified by a network administrator. The type system guarantees that well-typed networks are exempt from security policies violations at runtime.

show abstract

Types for access control

Cited by 66 publications

References 21 publications

Modelling global computations with Klaim

Modelling global computations with Klaim

Sandboxing in myKlaim

History-Based Access Control for Distributed Processes

Contact Info

Product

Resources

About