Conference paper
SC2: Secure Communication over Smart Cards
In
Foundations and Practice of Security
—
2012, pp. 32-48
Abstract
The Security-by-Contract (S×C) 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 card hosting the application.
In this paper we address a key issue to realize the S×C idea, namely the outsourcing of the contract-policy matching service to a Trusted Third Party (TTP). In particular, we present the design and implementation of SC2 (Secure Communication over Smart Cards), a system securing the communication between a smart card and the TTP which provides the S×C matching service.
| Language: | English |
|---|---|
| Publisher: | Springer Berlin Heidelberg |
| Year: | 2012 |
| Pages: | 32-48 |
| Proceedings: | International Symposium on Foundations and Practice of Security |
| ISBN: | 3642279007 , 3642279015 , 9783642279003 and 9783642279010 |
| Types: | Conference paper |
| DOI: | 10.1007/978-3-642-27901-0_4 |
