Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese, Betti Venneri  Home/Search
Context
Related
| music.dsi.unifi.it/...coord97full.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: music.dsi.unifi.it/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Klaim is an experimental programming language that supports a programming paradigm where both processes and data can be moved across different computing environments. This paper presents the mathematical foundations of the Klaim type system; this system permits checking access rights violations of mobile agents. Types are used to describe the intentions (read, write, execute, ...) of processes relative to the different localities with which they are willing to interact, or to which they want ... (Update)
Similar documents (at the sentence level):
57.7%: Types for Access Control - De Nicola, Ferrari, Pugliese, Venneri (1998) (Correct)
10.1%: Types as Specifications of Access Policies - De Nicola, Ferrari, Pugliese (1999) (Correct)
Active bibliography (related documents): More All
0.9: Secure Programming in KLAIM - De Nicola, Ferrari, Pugliese (Correct)
0.8: Programming Access Control: The KLAIM Experience - De Nicola, Ferrari, Pugliese (Correct)
0.5: KLAIM: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari.. (1998) (Correct)
Similar documents based on text: More All
0.6: X-Klaim and Klava: Programming Mobile Code - Bettini, De Nicola, Pugliese (2001) (Correct)
0.6: Towards Object-Oriented KLAIM - Bettini, Bono, Venneri (2001) (Correct)
0.6: Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (2003) (Correct)
BibTeX entry: (Update)
@article{ denicola00types,
author = "Rocco De Nicola and GianLuigi Ferrari and Rosario Pugliese and Betti Venneri",
title = "Types for access control",
journal = "Theoretical Computer Science",
volume = "240",
number = "1",
pages = "215--254",
year = "2000",
url = "citeseer.ist.psu.edu/458071.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
737 The Java Programming Language (context) - Arnold, Gosling - 1996
404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1999
375 ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
309 Communications of the ACM (context) - Carriero, Gelernter et al. - 1989
291 A Calculus of Mobile Agents - Fournet, Gonthier et al. - 1996
167 Resource Access Control in Systems of Mobile Agents - Hennessy, Riely - 1998
146 Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1996
139 Secure Information Flow in a Multi-threaded Imperative Langu.. - Volpano, Smith - 1998
129 ACM Transactions on Programming Languages and Systems (context) - Amadio, Cardelli et al. - 1993
117 Klaim: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari et al. - 1998
85 The SLam calculus: Programming with secrecy and integrity - Heintz, Riecke - 1998
75 Trust and Partial Typing in Open Systems of Mobile Agents - Riely, Hennessy - 1999
60 Decoding Choice Encodings - Nestmann, Pierce - 1996
50 Parallel Programming in Linda (context) - Gelernter, Carriero et al. - 1985
47 Distributed Data Structures in Linda (context) - Carriero, Gelernter et al. - 1986
42 GlobalLocal Subtyping and Capability Inference Distributed .. - Local, Capability et al. - 1998
38 Coinductive Axiomatization of Recursive Type Equality and Su.. - Brandt, Henglein - 1997
31 Typing the use of resources in a Concurrent Calculus (context) - Boudol - 1997
31 Interactive Mobile Agents in X-Klaim - Bettini, De Nicola et al. - 1998
31 Towards a Calculus of Secure Mobile Computations - Vitek, Castagna - 1998
24 Control Flow Analysis for the -calculus (context) - Bodei, Degano et al. - 1998
24 Prentice Hall Int (context) - Milner, Concurrency - 1989
18 Mathematical Structures in Computer Science (context) - Kozen, Palsberg et al. - 1995
13 Coordinating Mobile Agents via Blackboards and Access Rights (context) - De Nicola, Ferrari et al. - 1997
11 A Filter Model for Concurrent --calculi (context) - Dezani--Ciancaglini, de Liguoro et al. - 1998
8 A Type System for Java Bytecode Subroutines (context) - Abadi, Stata - 1998
8 A typed-based approach to program security (context) - Volpano, Smith - 1997
7 La Sapienza (context) - Pugliese, for et al. - 1996
7 failure and process mobility (context) - Amadio, model - 1997
6 A Process Algebra based on Linda (context) - De Nicola, Pugliese - 1996
6 the ACM Symposium on Principles of Programming Languages (context) - Necula, Proc - 1997
6 Recursive types and the subject reduction theorem (context) - Statman - 1994
6 Secrecy by Typing in Cryptographic Protocols (context) - Abadi - 1997
5 the ACM Symposium on Principles of Programming Languages (context) - Cardelli, Gordon et al. - 1999
5 Foundations of Software Science and Computation Structures (context) - Cardelli, Gordon et al. - 1998
3 the ACM Symposium on Principles of Programming Languages (context) - Kobayashi, Pierce et al. - 1993
3 Bisimulation in Naming--Passing Calculi without Matching (context) - Boreale, Sangiorgi - 1998
2 Foundations of Software Technology and Theoretical Computer .. (context) - Amadio, Prasad et al. - 1994
Documents on the same site (http://music.dsi.unifi.it/papers.html): More
Linda based Applicative and Imperative Process Algebras - De Nicola, Pugliese (Correct)
Divergence in Testing and Readiness Semantics - Boreale, De Nicola, Pugliese (Correct)
A Modal Logic for Mobile Agents - De Nicola, Loreti (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC