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 language | English |
---|---|
Title of host publication | 2011 IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY) |
Publisher | IEEE |
Publication date | 2011 |
Pages | 186-187 |
ISBN (Print) | 978-1-4244-9879-6 |
DOIs | |
Publication status | Published - 2011 |
Event | IEEE International Symposium on Policies for Distributed Systems and Networks - Pisa, Italy Duration: 6 Jun 2011 → 8 Jun 2011 http://www.policy-workshop.org/2011/ |
Conference
Conference | IEEE International Symposium on Policies for Distributed Systems and Networks |
---|---|
Country/Territory | Italy |
City | Pisa |
Period | 06/06/2011 → 08/06/2011 |
Internet address |