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.
|Title of host publication||2011 IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY)|
|Publication status||Published - 2011|
|Event||IEEE International Symposium on Policies for Distributed Systems and Networks - Pisa, Italy|
Duration: 6 Jun 2011 → 8 Jun 2011
|Conference||IEEE International Symposium on Policies for Distributed Systems and Networks|
|Period||06/06/2011 → 08/06/2011|