Boxed Ambients

This publication has 17 references indexed in Scilit:

• Secure safe ambients
  Published by Association for Computing Machinery (ACM) ,2001
• Information Flow vs. Resource Access in the Asynchronous Pi-Calculus (Extended Abstract)
  Published by Springer Nature ,2000
• Ambient Groups and Mobility Types
  Published by Springer Nature ,2000
• Security Types for Mobile Safe Ambients
  Published by Springer Nature ,2000
• Safe Ambients: Control Flow Analysis and Security
  Published by Springer Nature ,2000
• Types for mobile ambients
  Published by Association for Computing Machinery (ACM) ,1999
• Mobility Types for Mobile Ambients
  Published by Springer Nature ,1999
• Abstractions for Mobile Computation
  Published by Springer Nature ,1999
• Mobile ambients
  Published by Springer Nature ,1998
• Security Policies and Security Models
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982