Rocco De Nicola  Home/Search
Context
Related
| dia.unisa.it/WSDAAL00/pla...DENICOLA.ps 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: dia.unisa.it/WSDAAL00...Programma (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: e in the design of a language which supports programming of security policies. We describe the security mechanisms of Klaim (a Kernel Language for Agents Interaction and Mobility) [3], an experimental programming language speci cally designed for programming networking applications. Klaim provides direct support for expressing and enforcing policies that control access to resources and authorize migration and execution of mobile processes. Klaim exploits a capability-based type system as an ... (Update)
Similar documents (at the sentence level):
42.8%: Secure Programming in KLAIM - De Nicola, Ferrari, Pugliese (Correct)
30.9%: Types as Specifications of Access Policies - De Nicola, Ferrari, Pugliese (1999) (Correct)
28.5%: Programming Access Control: The KLAIM Experience - De Nicola, Ferrari, Pugliese (Correct)
Active bibliography (related documents): More All
0.0: Global Types and Network Services - Ferrari, Moggi (2001) (Correct)
0.0: Types for Access Control - De Nicola, Ferrari, Pugliese, Venneri (Correct)
0.0: Klava: a Java Framework for Distributed and Mobile.. - Bettini, De Nicola.. (2001) (Correct)
Similar documents based on text: More All
0.5: Foundational Calculi for Network Aware Programming - An.. - Ferrari, Pugliese (Correct)
0.4: Languages And Logics For Network Aware Programming - Loreti (2002) (Correct)
0.1: Trace and Testing Equivalence on Asynchronous Processes - Boreale, De Nicola, Pugliese (1999) (Correct)
BibTeX entry: (Update)
@misc{ nicola-programming,
author = "Rocco De Nicola",
title = "Programming Access Control Policies",
url = "citeseer.ist.psu.edu/472362.html" }
Citations (may not include all citations):375 ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
309 Communications of the ACM (context) - Carriero, Gelernter et al. - 1989
117 Klaim: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari et al. - 1998
50 Parallel Programming in Linda (context) - Gelernter, Carriero et al. - 1985
49 Theoretical Computer Science (context) - De Nicola, Ferrari et al. - 2000
31 Interactive Mobile Agents in X-Klaim - Bettini, De Nicola et al. - 1998
Documents on the same site (http://www.dia.unisa.it/WSDAAL00/plain/Programma.html): More
Fast Distributed Graph Coloring With ... Colors - De Marco, Pelc (Correct)
Compositional Analysis of Cryptographic Protocols - Boreale, De Nicola, Pugliese (Correct)
Permanent, Ephemeral, and Temporary Data in Shared.. - Busi, Gorrieri.. (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