Search results for "Nicola Dragoni"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Alessio Di Mauro, Davide Papini, Nicola Dragoni	Security Challenges for Energy-harvesting Wireless Sensor Networks.	PECCS	2012	DBLP BibTeX RDF
1	Nicola Dragoni, Eduardo Lostal, Olga Gadyatskaya, Fabio Massacci, Federica Paci	A Load Time Policy Checker for Open Multi-application Smart Cards.	POLICY	2011	DBLP DOI BibTeX RDF	Smart cards security, application certification, information exchange, policy models
1	Nicola Dragoni, Eduardo Lostal, Davide Papini	(SC)²: A System to Secure Off-Card Contract-Policy Matching in Security-by-Contract for Open Multi-application Smart Cards.	POLICY	2011	DBLP DOI BibTeX RDF	Security-by-contract, open multi-application smart cards, secure communication
1	Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya	Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective.	WS-FM	2011	DBLP DOI BibTeX RDF
1	Xenofon Fafoutis, Nicola Dragoni	ODMAC: an on-demand MAC protocol for energy harvesting - wireless sensor networks.	PE-WASUN	2011	DBLP DOI BibTeX RDF
1	Nicola Dragoni, Eduardo Lostal, Davide Papini, Javier Fabra	SC 2: Secure Communication over Smart Cards - How to Secure Off-Card Matching in Security-by-Contract for Open Multi-application Smart Cards.	FPS	2011	DBLP DOI BibTeX RDF
1	Michele Mazzucco, Manuel Mazzara, Nicola Dragoni	Design of QoS-aware Provisioning Systems	CoRR	2010	DBLP BibTeX RDF
1	Gabriele Costa, Nicola Dragoni, Aliaksandr Lazouski, Fabio Martinelli, Fabio Massacci, Ilaria Matteucci	Extending Security-by-Contract with Quantitative Trust on Mobile Devices.	CISIS	2010	DBLP DOI BibTeX RDF	Security, Trust
1	Nicola Dragoni, Olga Gadyatskaya, Fabio Massacci	Can We Support Applications' Evolution in Multi-application Smart Cards by Security-by-Contract?	WISTP	2010	DBLP DOI BibTeX RDF
1	Nataliia Bielova, Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka, Ida Siahaan	Matching in security-by-contract for mobile code.	J. Log. Algebr. Program.	2009	DBLP DOI BibTeX RDF
1	Nicola Dragoni, Fabio Massacci, Ayda Saïdane	A self-protecting and self-healing framework for negotiating services and trust in autonomic communication systems.	Computer Networks	2009	DBLP DOI BibTeX RDF
1	Nicola Dragoni, Fabio Massacci, Thomas Walter, Christian Schaefer	What the heck is this application doing? - A security-by-contract architecture for pervasive services.	Computers & Security	2009	DBLP DOI BibTeX RDF
1	Nicola Dragoni, Manuel Mazzara	A Formal Semantics for the WS-BPEL Recovery Framework - The pi-Calculus Way.	WS-FM	2009	DBLP DOI BibTeX RDF
1	Nicola Dragoni	Toward Trustworthy Web Services - Approaches, Weaknesses and Trust-By-Contract Framework.	Web Intelligence/IAT Workshops	2009	DBLP DOI BibTeX RDF
1	Nicola Dragoni	Where Are All the Agents? On the Gap between Theory and Practice of Agent-Based Referral Networks.	PRIMA	2009	DBLP DOI BibTeX RDF
1	Nataliia Bielova, Marco Dalla Torre, Nicola Dragoni, Ida Siahaan	Matching Policies with Security Claims of Mobile Applications.	ARES	2008	DBLP DOI BibTeX RDF	security-by-contract, security for mobile code, automata modulo theory, contract-policy matching
1	Nicola Dragoni, Mauro Gaspari, Davide Guidi	An ACL for Specifying Fault-Tolerant Protocols.	Applied Artificial Intelligence	2007	DBLP DOI BibTeX RDF
1	Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka, Ida Siahaan	Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code.	EuroPKI	2007	DBLP DOI BibTeX RDF
1	Nicola Dragoni, Fabio Massacci	Security-by-contract for web services.	SWS	2007	DBLP DOI BibTeX RDF	security-by-contract, web services, automated trust negotiation
1	Nicola Dragoni, Mauro Gaspari, Davide Guidi	An infrastructure to support cooperation of knowledge-level agents on the semantic Grid.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Knowledge-level agents, Open service architectures, Agent communication languages, Semantic GRID
1	Nicola Dragoni	Fault tolerant knowledge level inter-agent communication in open Multi-Agent Systems.	AI Commun.	2006	DBLP BibTeX RDF
1	Nicola Dragoni, Mauro Gaspari	Crash failure detection in asynchronous agent communication languages.	Autonomous Agents and Multi-Agent Systems	2006	DBLP DOI BibTeX RDF	Robust multi-agent systems, Open asynchronous multi-agent systems, Anonymous interaction, Knowledge level agents, Multi-agent systems, Agent communication languages
1	Nicola Dragoni, Mauro Gaspari, Davide Guidi	A Fault Tolerant Agent Communication Language for Supporting Web Agent Interaction.	AC	2006	DBLP DOI BibTeX RDF
1	Nicola Dragoni, Mauro Gaspari	Performative Patterns for Designing Verifiable ACLs.	CIA	2006	DBLP DOI BibTeX RDF
1	Nicola Dragoni, Mauro Gaspari	An object based algebra for specifying a fault tolerant software architecture.	J. Log. Algebr. Program.	2005	DBLP DOI BibTeX RDF
1	Nicola Dragoni, Mauro Gaspari, Davide Guidi	A Peer-to-Peer Knowledge Level Open Service Architecture.	Wissensmanagement	2005	DBLP BibTeX RDF
1	Nicola Dragoni, Mauro Gaspari, Davide Guidi	An ACL for Specifying Fault-Tolerant Protocols.	AI*IA	2005	DBLP DOI BibTeX RDF
1	Nicola Dragoni, Mauro Gaspari, Davide Guidi	Integrating Knowledge-Level Agents in the (Semantic) Web: An Agent-based Open Service Architecture.	FLAIRS Conference	2005	DBLP BibTeX RDF
1	Nicola Dragoni, Mauro Gaspari, Davide Guidi	NOWHERE - An Open Service Architecture to support Agents and Services within the Semantic Web.	SWAP	2005	DBLP BibTeX RDF

Publications of "Nicola Dragoni" ( http://dblp.L3S.de/Authors/Nicola_Dragoni )