Controlling application interactions on the novel smart cards with security-by-contract

Gadyatskaya, Olga; Massacci, Fabio

doi:10.1007/978-3-642-40615-7_7

Controlling application interactions on the novel smart cards with security-by-contract

Gadyatskaya, Olga;Massacci, Fabio

2013-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2013
			
	Titolo del volume (Proceedings title)
	
				11th International Symposium on Formal Methods for Components and Objects
			
	Luogo di edizione (Place of publication)
	
				Berlin
			
	Casa editrice (Publisher)
	
				Berlin: Springer-Verlag
			
	ISBN
	
				9783642406140
			
	Codice Scopus (Scopus Identifier)
	
				2-s2.0-84883313230
			
	Tutti gli autori
	
						Gadyatskaya, Olga; Massacci, Fabio
					
	Appare nelle tipologie:
	
				04.1 Saggio in atti di convegno (Paper in Proceedings)