SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Types of specifications of access policies
Secure Internet programming
Mark, a Reasoning Kit for Mobility
Automated Software Engineering
The m-calculus: a higher-order distributed process calculus
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Flow logic for Dolev-Yao secrecy in cryptographic processes
Future Generation Computer Systems - Parallel computing technologies (PaCT-2001)
Static Analysis for Secrecy and Non-interference in Networks of Processes
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
Security Types for Mobile Safe Ambients
ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
Programming Access Control: The KLAIM Experience
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Coordination and Access Control of Mobile Agents
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Mobile Agents Coordination in Mobadtl
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Coordinating Mobile Object-Oriented Code
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
KLAVA: a Java package for distributed and mobile applications
Software—Practice & Experience
Access control for mobile agents: The calculus of boxed ambients
ACM Transactions on Programming Languages and Systems (TOPLAS)
A modal logic for mobile agents
ACM Transactions on Computational Logic (TOCL)
Trust and Partial Typing in Open Systems of Mobile Agents
Journal of Automated Reasoning
MetaKlaim: a type safe multi-stage language for global computing
Mathematical Structures in Computer Science
Space-aware ambients and processes
Theoretical Computer Science
Semantic subtyping for the pi-calculus
Theoretical Computer Science
Security types for dynamic web data
Theoretical Computer Science
An extensible analysable system model
Information Security Tech. Report
A type system for discretionary access control†
Mathematical Structures in Computer Science
Data Privacy in Tuple Space Based Mobile Agent Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
From Flow Logic to static type systems for coordination languages
Science of Computer Programming
Resource access and mobility control with dynamic privileges acquisition
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Security types for dynamic web data
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
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
MetaKlaim: meta-programming for global computing
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
History-based access control for distributed processes
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
Combining static analysis and runtime checking in security aspects for distributed tuple spaces
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
The kell calculus: a family of higher-order distributed process calculi
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Logical mobility and locality types
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
A process calculus for qos-aware applications
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Mobile distributed programming in X-KLAIM
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Dynamic access control in a concurrent object calculus
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Hi-index | 5.23 |