dblp.uni-trier.dewww.uni-trier.de

Gabriele Lenzini

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
19EEGabriele 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
18EEGabriele Lenzini, N. Sahli, Henk Eertink: Agents Selecting Trustworthy Recommendations in Mobile Virtual Communities. AAMAS-TRUST 2008: 182-204
17EEGabriele 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
16EER. J. Hulsebosch, Mortaza S. Bargh, Gabriele Lenzini, P. W. G. Ebben, Sorin M. Iacob: Context Sensitive Adaptive Authentication. EuroSSC 2007: 93-109
15EERicardo Neisse, Maarten Wegdam, Marten van Sinderen, Gabriele Lenzini: Trust Management Model and Architecture for Context-Aware Service Platforms. OTM Conferences (2) 2007: 1803-1820
14EEGabriele Lenzini, Andrew Tokmakoff, Johan Muskens: Managing Trustworthiness in Component-based Embedded Systems. Electr. Notes Theor. Comput. Sci. 179: 143-155 (2007)
13EEJ. 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
12EESanttu 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
10EERicardo 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
9EEStefania 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)
8EEMaurice 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
6EERicardo 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
5EEStefania 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
4EEStefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Roberto Marangoni, Fabio Martinelli: On Representing Biological Systems through Multiset Rewriting. EUROCAST 2003: 415-426
3EEStefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli: Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. MMM-ACNS 2003: 86-99
2000
2EEStefania 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
1EEStefania 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)