View graph of relations

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 contractpolicy matching service to a Trusted Third Party (TTP). In particular, we present the design and implementation of (SC)2 (Secure Communication over Smart Cards), a system securing the communication between a smart card and the TTP which provides the S×C matching service.
Original languageEnglish
Title of host publicationFoundations and Practice of Security : 4th Canada-France MITACSWorkshop, FPS 2011 Paris, France, May 12-13, 2011 Revised Selected Papers
EditorsJoaquin Garcia-Alfaro, Pascal Lafourcade
PublisherSpringer
Publication date2012
Pages32-48
ISBN (print)978-3-642-27900-3
ISBN (electronic)978-3-642-27901-0
DOIs
StatePublished

Workshop

Workshop4th Canada-France MITACS Workshop on Foundations & Practice of Security
CountryFrance
CityParis
Period12/05/1113/05/11
Internet addresshttp://fps2011.dyndns.org/
NameLecture Notes in Computer Science
Number6888
ISSN (Print)0302-9743
CitationsWeb of Science® Times Cited: No match on DOI
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 6590937