SC2: a System to Secure Off-Card Contract-Policy Matching in Security-by-Contract for Open Multi-Application Smart Cards

Nicola Dragoni, Eduardo Lostal, Davide Papini

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    1 Downloads (Pure)

    Abstract

    The Security-by-Contract (SC) framework has recently been proposed to support software evolution in open multi-application smart cards. The key idea lies in the notion of contract, a specification of the security behavior of an application that must be compliant with the security policy of the smart card hosting the application. In this demonstration we show (SC)2 (Secure Communication over Smart Cards), a system developed to address a key issue of the SC framework, namely the secure outsourcing of the SC contract-policy matching service to a Trusted Third Party (TTP). (SC)2 secures the communication between a smart card and the TTP that provides the SC matching service.
    Original languageEnglish
    Title of host publication2011 IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY)
    PublisherIEEE
    Publication date2011
    Pages186-187
    ISBN (Print)978-1-4244-9879-6
    DOIs
    Publication statusPublished - 2011
    EventIEEE International Symposium on Policies for Distributed Systems and Networks - Pisa, Italy
    Duration: 6 Jun 20118 Jun 2011
    http://www.policy-workshop.org/2011/

    Conference

    ConferenceIEEE International Symposium on Policies for Distributed Systems and Networks
    Country/TerritoryItaly
    CityPisa
    Period06/06/201108/06/2011
    Internet address

    Fingerprint

    Dive into the research topics of 'SC2: a System to Secure Off-Card Contract-Policy Matching in Security-by-Contract for Open Multi-Application Smart Cards'. Together they form a unique fingerprint.

    Cite this