Katerina Barone-Adesi

	2011
2		Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi: A model checking-based approach for security policy verification of mobile systems. Formal Asp. Comput. 23(5): 627-648 (2011)
	2007
1		Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi: Automated Verification of Security Policies in Mobile Code. IFM 2007: 37-53

Coauthor Index

1	Chiara Braghin	[1] [2]
2	Natasha Sharygina	[1] [2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page