Sciweavers

28 search results - page 1 / 6
» Static vs Dynamic Typing for Access Control in Pi-Calculus
Sort
View
ASIAN
2007
Springer
93views Algorithms» more  ASIAN 2007»
13 years 9 months ago
Static vs Dynamic Typing for Access Control in Pi-Calculus
Michele Bugliesi, Damiano Macedonio, Sabina Rossi
CSFW
2006
IEEE
13 years 9 months ago
Secrecy by Typing and File-Access Control
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
Avik Chaudhuri, Martín Abadi
TGC
2007
Springer
13 years 9 months ago
Access Control Based on Code Identity for Open Distributed Systems
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
Andrew Cirillo, James Riely
ICFP
2003
ACM
14 years 3 months ago
A static type system for JVM access control
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
Tomoyuki Higuchi, Atsushi Ohori
TACS
2001
Springer
13 years 8 months ago
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa