Katerina Barone-Adesi (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

1 Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi: Automated Verification of Security Policies in Mobile Code. IFM 2007: 37-53

Selection of 2 from 2 records - Katerina Barone-Adesi has 2 coauthors

Last update 2012-02-17 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

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)
1		Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi: Automated Verification of Security Policies in Mobile Code. IFM 2007: 37-53