Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Coordinating Multiagent Applications on the WWW: A Reference Architecture
IEEE Transactions on Software Engineering
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Trust and partial typing in open systems of mobile agents
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 21st international conference on Software engineering
Controlling interference in ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Theoretical Computer Science
Resource access control in systems of mobile agents
Information and Computation
JavaSpaces Principles, Patterns, and Practice
JavaSpaces Principles, Patterns, and Practice
Types for the ambient calculus
Information and Computation - IFIP TCS2000
Coordination for Internet Application Development
Autonomous Agents and Multi-Agent Systems
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
KLAVA: a Java package for distributed and mobile applications
Software—Practice & Experience
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
ISADS '01 Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems
IBM Systems Journal
WSSecSpaces: a secure data-driven coordination service for Web Services applications
Proceedings of the 2004 ACM symposium on Applied computing
Controlling data movement in global computing applications
Proceedings of the 2004 ACM symposium on Applied computing
On the expressive power of KLAIM-based calculi
Theoretical Computer Science - Expressiveness in concurrency
Secure shared data-space coordination languages: a process algebraic surveys
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Confining data and processes in global computing applications
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Journal of Functional Programming
A type system for discretionary access control†
Mathematical Structures in Computer Science
From Flow Logic to static type systems for coordination languages
Science of Computer Programming
Locality-based security policies
FAST'06 Proceedings of the 4th international conference on Formal aspects in security and trust
Static vs dynamic typing for access control in pi-calculus
ASIAN'07 Proceedings of the 12th Asian computing science conference on Advances in computer science: computer and network security
From flow logic to static type systems for coordination languages
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Portunes: representing attack scenarios spanning through the physical, digital and social domain
ARSPA-WITS'10 Proceedings of the 2010 joint conference on Automated reasoning for security protocol analysis and issues in the theory of security
History-based access control for distributed processes
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
Flow Logic for Process Calculi
ACM Computing Surveys (CSUR)
Global computing in a dynamic network of tuple spaces
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Dynamic access control in a concurrent object calculus
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
A mobility calculus with local and dependent types
Processes, Terms and Cycles
Securely accessing shared resources with concurrent constraint programming
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
| Hi-index | 0.00 |
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present the language and a type system for controlling the activities, e.g. access to resources and mobility, of the processes in a net. By dealing with privileges acquisition, the type system enables dynamic variations of security policies. We exploit a combination of static and dynamic type checking, and of inlined reference monitoring, to guarantee absence of run-time errors due to lack of privileges and state two type soundness results: one involves whole nets, the other is relative to subnets of larger nets.