Sfoglia per Autore
Boundary inference for enforcing security policies in mobile ambients
2002 C. Braghin, A. Cortesi, R. Focardi, S. van Bakel
Control flow analysis of mobile ambients with security boundaries
2002 C. Braghin, A. Cortesi, R. Focardi
Security boundaries in mobile ambients
2002 C. Braghin, A. Cortesi, R. Focardi
Complexity of nesting analysis in mobile ambients
2003 C. Braghin, A. Cortesi, R. Focardi, F.L. Luccio, C. Piazza
BANANA : a tool for boundary ambients nesting analysis
2003 C. Braghin, A. Cortesi, S. Filippone, R. Focardi, F.L. Luccio, C. Piazza
Information leakage detection in boundary ambients
2003 C. Braghin, A. Cortesi, R. Focardi
Nesting analysis of mobile ambients
2004 C. Braghin, A. Cortesi, R. Focardi, F.L. Luccio, C. Piazza
A distributed calculus for role-based access control
2004 C. Braghin, D. Gorla, V. Sassone
Checking integrity via CoPS and Banana : the E-commerce case study
2004 C. Braghin, C. Piazza
Behind BANANA : design and implementation of a tool for nesting analysis of mobile ambients
2004 C. Braghin, A. Cortesi, R. Focardi, F.L. Luccio, C. Piazza
Defining the total cost of ownership for the transition to open source systems
2005 B. Russo, C. Braghin, P. Gasperi, A. Sillitti, G. Succi
Analisi dei costi di proprietà di prodotti software nella transizione a sistemi open source
2005 B. Russo, C. Braghin, M. Ceschi, P. Gasperi, G. Succi
Role-based access control for a distributed calculus
2006 C. Braghin, D. Gorla, V. Sassone
Modeling and verification of mobile systems
2006 C. Braghin, N. Sharygina
Automated verification of security policies in mobile code
2007 C. Braghin, N. Sharygina, K. Barone Adesi
Information flow security in boundary ambients
2008 C. Braghin, A. Cortesi, R. Focardi
An exact approach for solving the balanced minimum evolution problem
2008 R. Aringhieri, C. Braghin, D. Catanzaro
Net privacy
2009 M. Cremonini, C. Braghin, C.A. Ardagna
A model checking-based approach for security policy verification of mobile systems
2011 C. Braghin, N. Sharygina, K. Barone Adesi
The binary perfect phylogeny with persistent characters
2012 P. Bonizzoni, C. Braghin, R. Dondi, G. Trucco
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile