Search results for "security-by-contract"

Found 12 publication records. Showing 12 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	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
2	Fabio Massacci, Frank Piessens, Ida Siahaan	Security-By-Contract for the Future Internet.	FIS	2008	DBLP DOI BibTeX RDF
2	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
2	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
2	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, 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	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, 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	Fabio Massacci, Ida Siahaan	Simulating midlet's security claims with automata modulo theory.	PLAS	2008	DBLP DOI BibTeX RDF	security policy, automata, mobile code
1	Ying Jin, Zepeng Li, Da Wei, Lei Liu	Automatic Generation and Enforcement of Security Contract for Pervasive Application.	EUC	2008	DBLP DOI BibTeX RDF