Search results for "Gabriele Lenzini"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang	A Group Signature Based Electronic Toll Pricing System	CoRR	2011	DBLP BibTeX RDF
1	Gabriele Lenzini, Sjouke Mauw, Jun Pang	Selective Location Blinding Using Hash Chains.	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
1	Ileana Buhan, Gabriele Lenzini, Sasa Radomirovic	Contextual Biometric-Based Authentication for Ubiquitous Services.	UIC	2010	DBLP DOI BibTeX RDF
1	Gabriele Lenzini	Design of Architectures for Proximity-aware Services: Experiments in Context-based Authentication with Subjective Logic.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Gabriele Lenzini, Ynze van Houten, Wolf Huijsen, Mark Melenhorst	Shall I Trust a Recommendation? Towards an Evaluation of the Trustworthiness of Recommender Sites.	ADBIS (Workshops)	2009	DBLP DOI BibTeX RDF
1	Gabriele Lenzini, Mortaza S. Bargh, Bob Hulsebosch	Trust-enhanced Security in Location-based Adaptive Authentication.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Gabriele Lenzini, Nabil Sahli, Henk Eertink	Trust Model for High Quality Recommendation.	SECRYPT	2008	DBLP BibTeX RDF
1	Gabriele Lenzini, Nabil Sahli, Henk Eertink	Agents Selecting Trustworthy Recommendations in Mobile Virtual Communities.	AAMAS-TRUST	2008	DBLP DOI BibTeX RDF	Mobile Virtual Communities, Recommender Systems, Argumentation, Trust Model, Agent-based Approach
1	Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi	A Uniform Approach to Security and Fault-Tolerance Specification and Analysis.	WADS	2008	DBLP DOI BibTeX RDF	Software Architecture Formal Analysis, Security, Fault Tolerance
1	Gabriele Lenzini	Trust-Based and Context-Aware Authentication in a Software Architecture for Context and Proximity-Aware Services.	WADS	2008	DBLP DOI BibTeX RDF	context-aware software architectures, trust-based authentication, Subjective Logic
1	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.	2007	DBLP DOI BibTeX RDF	Privacy, Access control, Policy, Audit
1	Gabriele Lenzini, Andrew Tokmakoff, Johan Muskens	Managing Trustworthiness in Component-based Embedded Systems.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Gabriele Lenzini, Bob Hulsebosch	Context-Based Adaptive and Responsive Authentication.	ERCIM News	2007	DBLP BibTeX RDF
1	Ricardo Neisse, Maarten Wegdam, Marten van Sinderen, Gabriele Lenzini	Trust Management Model and Architecture for Context-Aware Service Platforms.	OTM Conferences	2007	DBLP DOI BibTeX RDF
1	R. J. Hulsebosch, Mortaza S. Bargh, Gabriele Lenzini, P. W. G. Ebben, Sorin M. Iacob	Context Sensitive Adaptive Authentication.	EuroSSC	2007	DBLP DOI BibTeX RDF	adaptive, Authentication, context awareness, probability
1	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	2006	DBLP BibTeX RDF
1	Santtu Toivonen, Gabriele Lenzini, Ilkka Uusitalo	Context-aware Trust Evaluation Functions for Dynamic Reconfigurable Systems.	MTW	2006	DBLP BibTeX RDF
1	Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli	Relating multiset rewriting and process algebras for security protocol analysis.	Journal of Computer Security	2005	DBLP BibTeX RDF
1	Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi	Team Automata for Security: - A Survey -.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli	Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	Formal Verification of Security, OSA/Parlay API, Industrial Test Case
1	Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli	Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability.	Electr. Notes Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli	Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols.	MMM-ACNS	2003	DBLP DOI BibTeX RDF
1	Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Roberto Marangoni, Fabio Martinelli	On Representing Biological Systems through Multiset Rewriting.	EUROCAST	2003	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	fault tolerant behavior, model checking, formal verifications, safety critical systems, linear temporal logic
1	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	DBLP DOI BibTeX RDF	dependable protocols, model checking, formal verification, safety-critical systems

Publications of "Gabriele Lenzini" ( http://dblp.L3S.de/Authors/Gabriele_Lenzini )