BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Poland
1 × USA
1 × United Kingdom
Collaborated with:
A.Cortesi R.Focardi F.L.Luccio C.Piazza N.Sharygina K.Barone-Adesi S.Filippone
Talks about:
ambient (2) mobil (2) nest (2) boundari (1) complex (1) analysi (1) polici (1) banana (1) verif (1) secur (1)

Person: Chiara Braghin

DBLP DBLP: Braghin:Chiara

Contributed to:

IFM 20072007
TACAS 20032003
VMCAI 20032003

Wrote 3 papers:

IFM-2007-BraghinSB #automation #mobile #policy #security #verification
Automated Verification of Security Policies in Mobile Code (CB, NS, KBA), pp. 37–53.
TACAS-2003-BraghinCFFLP #analysis #bound #named
BANANA — A Tool for Boundary Ambients Nesting ANAlysis (CB, AC, SF, RF, FLL, CP), pp. 437–441.
VMCAI-2003-BraghinCFLP #analysis #complexity #mobile
Complexity of Nesting Analysis in Mobile Ambients (CB, AC, RF, FLL, CP), pp. 86–101.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.