Secure safe ambients

@inproceedings{Bugliesi2001SecureSA,
  title={Secure safe ambients},
  author={Michele Bugliesi and Giuseppe Castagna},
  booktitle={POPL},
  year={2001}
}
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant aspect of the type system is its ability to capture both explicit and implicit process and ambient behavior: process types account not only for immediate behavior, but also for the behavior resulting from capabilities a process acquires during its evolution in a given context. Based on that, the type system provides… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 52 extracted citations

References

Publications referenced by this paper.
Showing 1-6 of 6 references

Mobile Ambients

Electr. Notes Theor. Comput. Sci. • 1997
View 17 Excerpts
Highly Influenced

Ambient Groups and Mobility Types

View 5 Excerpts
Highly Influenced

Controlling Interference in Ambients

View 4 Excerpts
Highly Influenced

Types for Mobile Ambients

View 6 Excerpts
Highly Influenced

Shape Analysis for Mobile Ambients

View 7 Excerpts
Highly Influenced

Yellin.The Java Virtual Machine Specification

F. T. Lindholm
Java series. Addison-Wesley, • 1997
View 3 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…