Types for Evolving Communication in Safe Ambients

Authors:
Francesca Levi
Affiliations:
-
Venue:
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Year:
2002

Citing 14
Cited 0

A calculus of mobile processes, I

Information and Computation
Types for mobile ambients

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Controlling interference in ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Secure safe ambients

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bisimulation congruences in safe ambients

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Typing evolving ambients

Information Processing Letters
Types for the ambient calculus

Information and Computation - IFIP TCS2000
What Are Polymorphically-Typed Ambients?

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Safe Ambients: Control Flow Analysis and Security

ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
Security Types for Mobile Safe Ambients

ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
Mobility Types for Mobile Ambients

ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Subtyping and Typing Algorithms for Mobile Ambients

FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Orderly communication in the Ambient Calculus

Computer Languages, Systems and Structures

Quantified Score

Hi-index	0.00

Visualization

Abstract

We extend the evolving types of [10] to full Safe Ambients following the lines of the single-threaded types of [12] for communication. Then, we introduce more flexible evolving types which permit to define ambients, where the type of the exchanged data may vary as the internal computation proceeds or after the ambient is opened.