Gabriele Lenzini

2009
19	EE	Gabriele Lenzini: Design of Architectures for Proximity-aware Services: Experiments in Context-based Authentication with Subjective Logic. Electr. Notes Theor. Comput. Sci. 236: 47-64 (2009)
2008
18	EE	Gabriele Lenzini, N. Sahli, Henk Eertink: Agents Selecting Trustworthy Recommendations in Mobile Virtual Communities. AAMAS-TRUST 2008: 182-204
17	EE	Gabriele Lenzini, Mortaza S. Bargh, Bob Hulsebosch: Trust-enhanced Security in Location-based Adaptive Authentication. Electr. Notes Theor. Comput. Sci. 197(2): 105-119 (2008)
2007
16	EE	R. J. Hulsebosch, Mortaza S. Bargh, Gabriele Lenzini, P. W. G. Ebben, Sorin M. Iacob: Context Sensitive Adaptive Authentication. EuroSSC 2007: 93-109
15	EE	Ricardo Neisse, Maarten Wegdam, Marten van Sinderen, Gabriele Lenzini: Trust Management Model and Architecture for Context-Aware Service Platforms. OTM Conferences (2) 2007: 1803-1820
14	EE	Gabriele Lenzini, Andrew Tokmakoff, Johan Muskens: Managing Trustworthiness in Component-based Embedded Systems. Electr. Notes Theor. Comput. Sci. 179: 143-155 (2007)
13	EE	J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini: Audit-based compliance control. Int. J. Inf. Sec. 6(2-3): 133-151 (2007)
2006
12	EE	Santtu Toivonen, Gabriele Lenzini, Ilkka Uusitalo: Context-aware Trust Evaluation Functions for Dynamic Reconfigurable Systems. MTW 2006
11		Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi: A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols. Journal of Automata, Languages and Combinatorics 11(4): 345-374 (2006)
2005
10	EE	Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso: A Formal Security Analysis of an OSA/Parlay Authentication Interface. FMOODS 2005: 131-146
9	EE	Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli: Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. Electr. Notes Theor. Comput. Sci. 118: 57-70 (2005)
8	EE	Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi: Team Automata for Security: - A Survey -. Electr. Notes Theor. Comput. Sci. 128(5): 105-119 (2005)
7		Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli: Relating multiset rewriting and process algebras for security protocol analysis. Journal of Computer Security 13(1): 3-47 (2005)
2004
6	EE	Ricardo Corin, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini, I. Staicu: A Logic for Auditing Accountability in Decentralized Systems. Formal Aspects in Security and Trust 2004: 187-201
5	EE	Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli: Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. Electr. Notes Theor. Comput. Sci. 99: 111-126 (2004)
2003
4	EE	Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Roberto Marangoni, Fabio Martinelli: On Representing Biological Systems through Multiset Rewriting. EUROCAST 2003: 415-426
3	EE	Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli: Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. MMM-ACNS 2003: 86-99
2000
2	EE	Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo: An Automatic SPIN Validation of a Safety Critical Railway Control System. DSN 2000: 119-124
1	EE	Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo: A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. TACAS 2000: 535-549

Coauthor Index

1	C. Abbaneo	[1] [2]
2	Arturo M. Amendola	[1] [2]
3	Mortaza S. Bargh	[16] [17]
4	Maurice H. ter Beek	[8] [11]
5	Stefano Bistarelli	[3] [4] [7]
6	Gaetano Di Caprio	[10]
7	J. G. Cederquist (Jan Cederquist)	[13]
8	Iliano Cervesato	[3] [4] [7]
9	Ricardo Corin	[6] [10] [13]
10	M. A. C. Dekker	[13]
11	P. W. G. Ebben	[16]
12	Henk Eertink	[18]
13	Sandro Etalle	[6] [10] [13]
14	Stefania Gnesi	[1] [2] [5] [9] [10]
15	Jerry den Hartog (J. I. den Hartog)	[6] [13]
16	R. J. Hulsebosch (Bob Hulsebosch)	[16] [17]
17	Sorin M. Iacob	[16]
18	Diego Latella	[1] [2]
19	Roberto Marangoni	[4]
20	P. Marmo	[1] [2]
21	Fabio Martinelli	[3] [4] [5] [7] [9]
22	Corrado Moiso	[10]
23	Johan Muskens	[14]
24	Ricardo Neisse	[15]
25	Marinella Petrocchi	[8] [11]
26	N. Sahli	[18]
27	Marten van Sinderen	[15]
28	I. Staicu	[6]
29	Santtu Toivonen	[12]
30	Andrew Tokmakoff	[14]
31	Ilkka Uusitalo	[12]
32	Maarten Wegdam	[15]

Colors in the list of coauthors