Trust and partial typing in open systems of mobile agents

This publication has 13 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Proving trust in systems of second-order processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A typed language for distributed mobile processes (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1998
• Secure information flow in a multi-threaded imperative language
  Published by Association for Computing Machinery (ACM) ,1998
• Mobile ambients
  Published by Springer Nature ,1998
• Proof-carrying code
  Published by Association for Computing Machinery (ACM) ,1997
• Secrecy by typing in security protocols
  Published by Springer Nature ,1997
• A language with distributed scope
  Published by Association for Computing Machinery (ACM) ,1995
• Semantics for communication primitives in a polymorphic language
  Published by Association for Computing Machinery (ACM) ,1993
• Certification of programs for secure information flow
  Communications of the ACM, 1977