With the advent of the next generation java servlet on the smartcard, the Future Internet will be composed by web servers and clients silently yet busily running on high end smart cards in our phones and our wallets. In this new world model we can no longer accept the current security model where programs can be downloaded on our machines just because they are vaguely trusted". We want to know what they do in more precise details. We claim that the Future Internet needs the notion of security-by-contract: a contract describes the security relevant interactions that an application could have with the smart devices hosting them. Compliance with contracts should verified at development time

Automata Modulo Theory (AMT) / Siahaan, Ida; Massacci, Fabio. - ELETTRONICO. - (2009), pp. 1-39.

Automata Modulo Theory (AMT)

Siahaan, Ida;Massacci, Fabio
2009-01-01

Abstract

With the advent of the next generation java servlet on the smartcard, the Future Internet will be composed by web servers and clients silently yet busily running on high end smart cards in our phones and our wallets. In this new world model we can no longer accept the current security model where programs can be downloaded on our machines just because they are vaguely trusted". We want to know what they do in more precise details. We claim that the Future Internet needs the notion of security-by-contract: a contract describes the security relevant interactions that an application could have with the smart devices hosting them. Compliance with contracts should verified at development time
2009
Trento
University of Trento - Dipartimento di Ingegneria e Scienza dell'Informazione
Automata Modulo Theory (AMT) / Siahaan, Ida; Massacci, Fabio. - ELETTRONICO. - (2009), pp. 1-39.
Siahaan, Ida; Massacci, Fabio
File in questo prodotto:
File Dimensione Formato  
TR-15.pdf

accesso aperto

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 823.54 kB
Formato Adobe PDF
823.54 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/358204
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact