The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase security-by-contract (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2007-2011 (16) 2012-2022 (8)
Publication types (Num. hits)
article(9) inproceedings(14) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 8 keywords

Results
Found 24 publication records. Showing 24 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
75Ying Jin 0002, Zepeng Li, Da Wei, Lei Liu Automatic Generation and Enforcement of Security Contract for Pervasive Application. Search on Bibsonomy EUC (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
62Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka, Ida Sri Rejeki Siahaan Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code. Search on Bibsonomy EuroPKI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
54Nataliia Bielova, Marco Dalla Torre, Nicola Dragoni, Ida Sri Rejeki Siahaan Matching Policies with Security Claims of Mobile Applications. Search on Bibsonomy ARES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF security-by-contract, security for mobile code, automata modulo theory, contract-policy matching
43Nicola 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. Search on Bibsonomy POLICY The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Security-by-contract, open multi-application smart cards, secure communication
34Fabio Massacci, Frank Piessens, Ida Sri Rejeki Siahaan Security-By-Contract for the Future Internet. Search on Bibsonomy FIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Nicola Dragoni, Fabio Massacci Security-by-contract for web services. Search on Bibsonomy SWS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF security-by-contract, web services, automated trust negotiation
18Alberto Giaretta 0001, Nicola Dragoni, Fabio Massacci IoT Security Configurability with Security-by-Contract. Search on Bibsonomy Sensors The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
14Prabhakar Krishnan, Kurunandan Jain, Krishnashree Achuthan, Rajkumar Buyya Software-Defined Security-by-Contract for Blockchain-Enabled MUD-Aware Industrial IoT Edge Networks. Search on Bibsonomy IEEE Trans. Ind. Informatics The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
14Alberto Giaretta 0001, Nicola Dragoni, Fabio Massacci S×C4IoT: A Security-by-contract Framework for Dynamic Evolving IoT Devices. Search on Bibsonomy ACM Trans. Sens. Networks The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
14Alessandro Aldini, Antonio La Marra, Fabio Martinelli, Andrea Saracino Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices. Search on Bibsonomy Soft Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
14Alberto Giaretta 0001, Nicola Dragoni, Fabio Massacci Protecting the Internet of Things with Security-by-Contract and Fog Computing. Search on Bibsonomy WF-IoT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
14Nicola Dragoni, Olga Gadyatskaya, Fabio Massacci, Anton Philippov High-level algorithms and data structures requirements for security-by-contract on Java cards. Search on Bibsonomy Int. J. Crit. Comput. Based Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
14Olga Gadyatskaya, Fabio Massacci, Anton Philippov Security-by-Contract for the OSGi Platform. Search on Bibsonomy SEC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
14Olga Gadyatskaya, Fabio Massacci Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract. Search on Bibsonomy FMCO The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
14Nicola 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. Search on Bibsonomy FPS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
14Gabriele 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. Search on Bibsonomy J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
14Nicola Dragoni, Olga Gadyatskaya, Fabio Massacci Can We Support Applications' Evolution in Multi-application Smart Cards by Security-by-Contract? Search on Bibsonomy WISTP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
14Gabriele Costa 0001, Nicola Dragoni, Aliaksandr Lazouski, Fabio Martinelli, Fabio Massacci, Ilaria Matteucci Extending Security-by-Contract with Quantitative Trust on Mobile Devices. Search on Bibsonomy CISIS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Security, Trust
14Ida Sri Rejeki Siahaan Security-by-Contract using Automata Modulo Theory. Search on Bibsonomy 2010   RDF
14Nataliia Bielova, Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka, Ida Sri Rejeki Siahaan Matching in security-by-contract for mobile code. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
14Nicola Dragoni, Fabio Massacci, Thomas Walter 0001, Christian Schaefer What the heck is this application doing? - A security-by-contract architecture for pervasive services. Search on Bibsonomy Comput. Secur. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
14Lieven Desmet, Wouter Joosen, Fabio Massacci, Pieter Philippaerts, Frank Piessens, Ida Sri Rejeki Siahaan, Dries Vanoverberghe Security-by-contract on the .NET platform. Search on Bibsonomy Inf. Secur. Tech. Rep. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
14Nicola Dragoni, Fabio Massacci, Christian Schaefer, Thomas Walter 0001, Eric Vétillard A Security-by-Contract Architecture for Pervasive Services. Search on Bibsonomy SECPerU The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
13Fabio Massacci, Ida Sri Rejeki Siahaan Simulating midlet's security claims with automata modulo theory. Search on Bibsonomy PLAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF security policy, automata, mobile code
Displaying result #1 - #24 of 24 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license