Automated Verification of Security Policies in Mobile Code.
Informazioni aggiuntive
Autori
Braghin C.,
Sharygina N.,
Barone-Adesi K.
Tipo
Contributo in atti di convegno
Anno
2007
Lingua
Inglese
Titolo atti di convegno
Integrated Formal Methods (IFM)
Editore
Springer
Pagine (o numero dell’articolo)
37-53
ISBN
978-3-540-73209-9
