Search results for "Security-by-contract"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
75	Ying Jin 0002, Zepeng Li, Da Wei, Lei Liu	Automatic Generation and Enforcement of Security Contract for Pervasive Application.	EUC (2)	2008	DBLP DOI BibTeX RDF
62	Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka, Ida Sri Rejeki Siahaan	Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code.	EuroPKI	2007	DBLP DOI BibTeX RDF
54	Nataliia Bielova, Marco Dalla Torre, Nicola Dragoni, Ida Sri Rejeki 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
43	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
34	Fabio Massacci, Frank Piessens, Ida Sri Rejeki Siahaan	Security-By-Contract for the Future Internet.	FIS	2008	DBLP DOI BibTeX RDF
32	Nicola Dragoni, Fabio Massacci	Security-by-contract for web services.	SWS	2007	DBLP DOI BibTeX RDF	security-by-contract, web services, automated trust negotiation
18	Alberto Giaretta 0001, Nicola Dragoni, Fabio Massacci	IoT Security Configurability with Security-by-Contract.	Sensors	2019	DBLP DOI BibTeX RDF
14	Prabhakar Krishnan, Kurunandan Jain, Krishnashree Achuthan, Rajkumar Buyya	Software-Defined Security-by-Contract for Blockchain-Enabled MUD-Aware Industrial IoT Edge Networks.	IEEE Trans. Ind. Informatics	2022	DBLP DOI BibTeX RDF
14	Alberto Giaretta 0001, Nicola Dragoni, Fabio Massacci	S×C4IoT: A Security-by-contract Framework for Dynamic Evolving IoT Devices.	ACM Trans. Sens. Networks	2022	DBLP DOI BibTeX RDF
14	Alessandro Aldini, Antonio La Marra, Fabio Martinelli, Andrea Saracino	Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices.	Soft Comput.	2021	DBLP DOI BibTeX RDF
14	Alberto Giaretta 0001, Nicola Dragoni, Fabio Massacci	Protecting the Internet of Things with Security-by-Contract and Fog Computing.	WF-IoT	2019	DBLP DOI BibTeX RDF
14	Nicola Dragoni, Olga Gadyatskaya, Fabio Massacci, Anton Philippov	High-level algorithms and data structures requirements for security-by-contract on Java cards.	Int. J. Crit. Comput. Based Syst.	2012	DBLP DOI BibTeX RDF
14	Olga Gadyatskaya, Fabio Massacci, Anton Philippov	Security-by-Contract for the OSGi Platform.	SEC	2012	DBLP DOI BibTeX RDF
14	Olga Gadyatskaya, Fabio Massacci	Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract.	FMCO	2012	DBLP DOI BibTeX RDF
14	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
14	Gabriele Costa 0001, Aliaksandr Lazouski, Fabio Martinelli, Ilaria Matteucci, Valérie Issarny, Rachid Saadi, Nicola Dragoni, Fabio Massacci	Security-by-Contract-with-Trust for Mobile Devices.	J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.	2010	DBLP DOI BibTeX RDF
14	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
14	Gabriele Costa 0001, 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
14	Ida Sri Rejeki Siahaan	Security-by-Contract using Automata Modulo Theory.		2010	RDF
14	Nataliia Bielova, Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka, Ida Sri Rejeki Siahaan	Matching in security-by-contract for mobile code.	J. Log. Algebraic Methods Program.	2009	DBLP DOI BibTeX RDF
14	Nicola Dragoni, Fabio Massacci, Thomas Walter 0001, Christian Schaefer	What the heck is this application doing? - A security-by-contract architecture for pervasive services.	Comput. Secur.	2009	DBLP DOI BibTeX RDF
14	Lieven Desmet, Wouter Joosen, Fabio Massacci, Pieter Philippaerts, Frank Piessens, Ida Sri Rejeki Siahaan, Dries Vanoverberghe	Security-by-contract on the .NET platform.	Inf. Secur. Tech. Rep.	2008	DBLP DOI BibTeX RDF
14	Nicola Dragoni, Fabio Massacci, Christian Schaefer, Thomas Walter 0001, Eric Vétillard	A Security-by-Contract Architecture for Pervasive Services.	SECPerU	2007	DBLP DOI BibTeX RDF
13	Fabio Massacci, Ida Sri Rejeki Siahaan	Simulating midlet's security claims with automata modulo theory.	PLAS	2008	DBLP DOI BibTeX RDF	security policy, automata, mobile code