Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2000 | 1997
Number of items: 27.

2007

Cederquist, J.G. and Corin, R.J. and Dekker, M.A.C. and Etalle, S. and Hartog, J.I. den and Lenzini, G. (2007) Audit-based compliance control. International Journal of Information Security, 6 (2-3). pp. 133-151. ISSN 1615-5262

Hulsebosch, B. and Lenzini, G. and Toivonen, S. and Wegdam, M. , eds. (2007) Proceedings of the First International Workshop on Combining Context with Trust, Security and Privacy (CaT07). CEUR Workshop Proceedings (269). CEUR, Aachen, Germany.

Neisse, R. and Wegdam, M. and Sinderen, M.J. van and Lenzini, G. (2007) Trust Management Model and Architecture for Context-Aware Service Platforms. In: On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, 25-30 November 2007, Vilamoura, Portugal (pp. pp. 1803-1820).

2006

Cederquist, J.G. and Corin, R. and Dekker, M.A.C. and Etalle, S. and Hartog, J.I. den and Lenzini, G. (2006) The Audit Logic: Policy Compliance in Distributed Systems. [Report]

2005

Bistarelli, Stefano and Cervesato, Iliano and Lenzini, Gabriele and Martinelli, Fabio (2005) Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis. Journal of computer security, 13 (1). pp. 3-47. ISSN 0926227X

Bistarelli, Stefano and Cervesato, Iliano and Lenzini, Gabriele and Martinelli, Fabio (2005) Relating multiset rewriting and process algebras for security protocol analysis. [Report]

Corin, R. and Di Caprio, G. and Etalle, S. and Gnesi, S. and Lenzini, G. and Moiso, C. (2005) A formal security analysis of an OSA/Parlay authentication interface. [Report]

Corin, Ricardo and Di Caprio, Gaetano and Etalle, Sandro and Gnesi, Stefania and Lenzini, Gabriele and Moiso, Corrado (2005) A Formal Security Analysis of an OSA/Parlay Authentication interface. In: 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2005, June 15-17, 2005, Athens, Greece (pp. pp. 131-146).

Lenzini, Gabriele (2005) Integration of analysis techniques in security and fault-tolerance. thesis.

2004

Beek, Maurice H. ter and Lenzini, Gabriele and Petrocchi, Marinella (2004) Team Automata for Security - A Survey -. Electronic Notes in Theoretical Computer Science (ENTCS), 128 (5). pp. 105-119. ISSN 1571-0661

Beek, Maurice H. ter and Lenzini, Gabriele and Petrocchi, Marinella (2004) Team automata for security analysis. [Report]

Corin, R. and Di Caprio, G. and Etalle, S. and Gnesi, S. and Lenzini, G. and Moiso, C. (2004) Security Analysis of Parlay/OSA Framework. In: 9th International Conference on Intelligence in Service Delivery Networks, ICIN '04, October 18-21, 2004, Bordeaux, France (pp. pp. 54-59).

Corin, R. and Di Caprio, G. and Etalle, S. and Gnesi, S. and Lenzini, G. and Moiso, C. (2004) Security analysis of parlay/OSA framework. [Report]

Corin, R. and Etalle, S. and Hartog, J. den and Lenzini, G. and Staicu, I. (2004) A Logic for Auditing Accountability in Decentralized Systems. In: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France (pp. pp. 187-201).

Corin, R. and Etalle, S. and Hartog, J. den and Lenzini, G. and Staicu, I. (2004) A logic for auditing accountability in decentralized systems. [Report]

Gnesi, S. and Lenzini, G. and Martinelli, F. (2004) Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. Electronic Notes in Theoretical Computer Science (ENTCS), 99 . pp. 111-126. ISSN 1571-0661

Gnesi, Stefania and Lenzini, Gabriele and Martinelli, Fabio (2004) Applying generalized non deducibility on compositions (GNDC) approach in dependability. [Report]

2003

Beek, Maurice ter and Lenzini, Gabriele and Petrocchi, Marinella (2003) Team Automata for Security Analysis of Multicast/Broadcast Communication. In: Workshop on Issues in Security and Petri Nets, 23 June 2003, Eindhoven, The Netherlands (pp. pp. 57-62).

Bistarelli, S. and Cervesato, I. and Lenzini, G. and Martinelli, F. (2003) Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. In: 2nd Int. Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security (pp. pp. 86-99).

Lenzini, G. and Gnesi, S. and Latella, D. (2003) Spider: a Security Model Checker. In: 1st Int. Workshop on Formal Aspect of Security and Trust (FAST), Pisa, Italy (pp. pp. 163-180).

Martinelli, F. and Bistarelli, S. and Cervesato, I. and Lenzini, G. and Marangoni, R. (2003) Representing Biological Systems with Multiset Rewriting. In: EUROCAST 2003: 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain (pp. pp. 415-426).

2002

Gnesi, S. and Latella, D. and Lenzini, G. (2002) Towards Model Checking a Spi-Calculus Dialect. [Report]

2000

Gnesi, S. and Latella, D. and Lenzini, G. (2000) A BRUTUS Logic for a Spi-Calculus Dialect. [Report]

Gnesi, S. and Latella, D. and Lenzini, G. and Amendola, A. and Abbaneo, C. and Marmo, P. (2000) A Formal Specification and Validation of a Safety Critical Railway Control System. In: Fifth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2000, April 3-4, 2000, Berlin, Germany (pp. pp. 305-329).

Gnesi, S. and Latella, D. and Lenzini, G. and Amendola, A. and Abbaneo, C. and Marmo, P. (2000) A Formal Specification and Validation of a Control System in Presence of Byzantine Errors. In: 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, 27-31 March 2000, Berlin, Germany (pp. pp. 535-549).

Gnesi, S. and Lenzini, G. and Latella, D. and Amendola, A. and Abbaneo, C. and Marmo, P. (2000) An Automatic SPIN Validation of a Safety Critical Railway Control System. In: International Conference on Dependable Systems and Networks, DSN 2000, 25-28 June 2000, New York, NY (pp. pp. 119-124).

1997

Lenzini, Gabriele and Marianelli, Silvia (1997) Algorithms For Phylogeny Reconstruction In a New Mathematical Model. Calcolo - A Quarterly on Numerical Analysis and Theory of Computation, 1-4 (34). pp. 1-24. ISSN 0008-0624

This list was generated on Thu Jul 31 05:22:29 2014 CEST.