Programming Access Control: The KLAIM Experience

@inproceedings{Nicola2000ProgrammingAC,
  title={Programming Access Control: The KLAIM Experience},
  author={Rocco De Nicola and Gian Luigi Ferrari and Rosario Pugliese},
  booktitle={CONCUR},
  year={2000}
}
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… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 28 CITATIONS

Virtual Machines for Aspect-Oriented Systems

VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Access control for mobile agents: The calculus of boxed ambients

VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Advice for Coordination

VIEW 8 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Tagged Sets: A Secure and Transparent Coordination Medium

VIEW 6 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Preserving Data Privacy in e-Health

VIEW 1 EXCERPT
CITES BACKGROUND

Towards safer information sharing in the cloud

VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 21 REFERENCES

Linda in context

VIEW 8 EXCERPTS
HIGHLY INFLUENTIAL

et al

  • D. Gelernter, N. Carriero, S. Chandran
  • Parallel Programming in Linda. Proc. of the IEEE International Conference on Parallel Programming, pp. 255-263, IEEE Computer Society Press,
  • 1985
VIEW 8 EXCERPTS
HIGHLY INFLUENTIAL

Generative communication in linda

VIEW 8 EXCERPTS
HIGHLY INFLUENTIAL

Types for access control

VIEW 2 EXCERPTS

Eds)

  • J. Vitek, C. Jense
  • Secure Internet Programming: Security Issues for Distributed and Mobile Objects, LNCS State-Of-The-Art-Survey, LNCS 1603, Springer,
  • 1999
VIEW 1 EXCERPT

and A

  • L. Cardelli, G. Ghelli
  • Gordon, Mobile Types for Mobile Ambients To appear ICALP'99, LNCS , Springer,
  • 1999