Automated Verification of Security Policies in Mobile Code.
Additional information
Authors
Braghin C.,
Sharygina N.,
Barone-Adesi K.
Type
Article in conference proceedings
Year
2007
Language
English
Conference proceedings
Integrated Formal Methods (IFM)
Publisher
Springer
Pages (or article number)
37-53
ISBN
978-3-540-73209-9
