Sciweavers

Share
CL
2002
Springer

Security boundaries in mobile ambients

9 years 8 months ago
Security boundaries in mobile ambients
A new notion of security boundary is introduced to model multilevel security policies in the scenario of mobile systems, within Cardelli and Gordon's "pure" mobile ambients calculus. Information leakage may be expressed in terms of the possibility for a hostile ambient to access con
Chiara Braghin, Agostino Cortesi, Riccardo Focardi
Added 17 Dec 2010
Updated 17 Dec 2010
Type Journal
Year 2002
Where CL
Authors Chiara Braghin, Agostino Cortesi, Riccardo Focardi
Comments (0)
books