FPGA-Based Remote-Code Integrity Verification of Programs in Distributed Embedded Systems
- Auteur
- BASILE, Cataldo1 ; DI CARLO, Stefano1 ; SCIONTI, Alberto1
[1] Department of Control and Computer Engineering, Politecnico di Torino, 10129 Torino, Italy - Source
IEEE transactions on systems, man and cybernetics. Part C, Applications and reviews. 2012, Vol 42, Num 2, pp 187-200, 14 p ; ref : 51 ref
- CODEN
- ITCRFH
- ISSN
- 1094-6977
- Domaine scientifique
- Computer science
- Editeur
- Institute of Electrical and Electronics Engineers, New-York, NY
- Pays de publication
- United States
- Type de document
- Article
- Langue
- English
- Mot clé auteur
- Dynamic update embedded systems reconfigurable computing software protection
- Mot clé (fr)
- Algorithme réparti Calculateur embarqué Compilation Cryptanalyse Disponibilité Extensibilité Génération code Informatique diffuse Intégrité Mise à jour Réseau interconnecté Réseau porte programmable Système réparti Sécurité informatique Vérification programme Architecture reconfigurable Informatique mobile
- Mot clé (en)
- Distributed algorithm Boarded computer Compilation Cryptanalysis Availability Scalability Code generation Pervasive computing Integrity Updating Interconnected power system Field programmable gate array Distributed system Computer security Program verification Reconfigurable architectures Mobile computing
- Mot clé (es)
- Algoritmo repartido Calculador embarque Compilación Criptoanálisis Disponibilidad Estensibilidad Generación código Informática difusa Integridad Actualización Red interconectada Red puerta programable Sistema repartido Seguridad informatica Verificación programa Arquitectura reconfigurable Informática móvil
- Classification
- Pascal
- 001 Sciences exactes et technologie / 001D Sciences appliquees / 001D02 Informatique; automatique theorique; systemes / 001D02B Logiciel / 001D02B04 Systèmes informatiques et systèmes répartis. Interface utilisateur
- Pascal
- 001 Sciences exactes et technologie / 001D Sciences appliquees / 001D02 Informatique; automatique theorique; systemes / 001D02B Logiciel / 001D02B07 Organisation des mémoires. Traitement des données / 001D02B07C Gestion des mémoires et des fichiers (y compris la protection et la sécurité des fichiers)
- Pascal
- 001 Sciences exactes et technologie / 001D Sciences appliquees / 001D02 Informatique; automatique theorique; systemes / 001D02B Logiciel / 001D02B10 Performances des systèmes informatiques. Fiabilité
- Pascal
- 001 Sciences exactes et technologie / 001D Sciences appliquees / 001D03 Electronique / 001D03F Electronique des semiconducteurs. Microélectronique. Optoélectronique. Dispositifs à l'état solide / 001D03F06 Circuits intégrés / 001D03F06B Circuits intégrés par fonction (dont mémoires et processeurs)
- Discipline
- Computer science : theoretical automation and systems Electronics
- Provenance
- Inist-CNRS
- Base de données
- PASCAL
- Identifiant INIST
- 25567982
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Accès au Document
Installer sur votre navigateur
DOI
10.1109/TSMCC.2011.2106493 
https://dx.doi.org/10.1109/TSMCC.2011.2106493
"O:13:\"PanistOpenUrl\":36:{s:10:\"\u0000*\u0000openUrl\";N;s:6:\"\u0000*\u0000idc\";N;s:6:\"\u0000*\u0000fmt\";s:7:\"journal\";s:6:\"\u0000*\u0000doi\";s:26:\"10.1109\/TSMCC.2011.2106493\";s:6:\"\u0000*\u0000pii\";s:0:\"\";s:7:\"\u0000*\u0000pmid\";s:0:\"\";s:9:\"\u0000*\u0000atitle\";s:89:\"FPGA-Based Remote-Code Integrity Verification of Programs in Distributed Embedded Systems\";s:9:\"\u0000*\u0000jtitle\";s:83:\"IEEE transactions on systems, man and cybernetics. Part C, Applications and reviews\";s:9:\"\u0000*\u0000stitle\";s:47:\"IEEE trans. syst. man cybern., Part C Appl. rev\";s:7:\"\u0000*\u0000date\";s:4:\"2012\";s:9:\"\u0000*\u0000volume\";s:2:\"42\";s:8:\"\u0000*\u0000issue\";s:1:\"2\";s:8:\"\u0000*\u0000spage\";s:3:\"187\";s:8:\"\u0000*\u0000epage\";s:3:\"200\";s:8:\"\u0000*\u0000pages\";s:0:\"\";s:7:\"\u0000*\u0000issn\";s:9:\"1094-6977\";s:8:\"\u0000*\u0000eissn\";s:0:\"\";s:9:\"\u0000*\u0000aulast\";s:6:\"BASILE\";s:10:\"\u0000*\u0000aufirst\";s:7:\"Cataldo\";s:9:\"\u0000*\u0000auinit\";s:0:\"\";s:10:\"\u0000*\u0000auinitm\";s:0:\"\";s:5:\"\u0000*\u0000au\";a:2:{i:0;s:17:\"DI CARLO, Stefano\";i:1;s:16:\"SCIONTI, Alberto\";}s:9:\"\u0000*\u0000aucorp\";s:0:\"\";s:7:\"\u0000*\u0000isbn\";s:0:\"\";s:8:\"\u0000*\u0000coden\";s:6:\"ITCRFH\";s:8:\"\u0000*\u0000genre\";s:7:\"article\";s:7:\"\u0000*\u0000part\";s:0:\"\";s:9:\"\u0000*\u0000btitle\";s:0:\"\";s:8:\"\u0000*\u0000title\";s:89:\"FPGA-Based Remote-Code Integrity Verification of Programs in Distributed Embedded Systems\";s:8:\"\u0000*\u0000place\";s:12:\"New-York, NY\";s:6:\"\u0000*\u0000pub\";s:49:\"Institute of Electrical and Electronics Engineers\";s:10:\"\u0000*\u0000edition\";s:0:\"\";s:9:\"\u0000*\u0000tpages\";s:2:\"14\";s:9:\"\u0000*\u0000series\";s:0:\"\";s:8:\"\u0000*\u0000proxy\";s:30:\"http:\/\/proxyout.inist.fr:8080\/\";s:12:\"\u0000*\u0000integrite\";b:1;}"
Accès par Panist
"O:12:\"IstexOpenUrl\":35:{s:10:\"\u0000*\u0000openUrl\";N;s:6:\"\u0000*\u0000fmt\";s:7:\"journal\";s:6:\"\u0000*\u0000doi\";s:26:\"10.1109\/TSMCC.2011.2106493\";s:6:\"\u0000*\u0000pii\";s:0:\"\";s:7:\"\u0000*\u0000pmid\";s:0:\"\";s:9:\"\u0000*\u0000atitle\";s:89:\"FPGA-Based Remote-Code Integrity Verification of Programs in Distributed Embedded Systems\";s:9:\"\u0000*\u0000jtitle\";s:83:\"IEEE transactions on systems, man and cybernetics. Part C, Applications and reviews\";s:9:\"\u0000*\u0000stitle\";s:47:\"IEEE trans. syst. man cybern., Part C Appl. rev\";s:7:\"\u0000*\u0000date\";s:4:\"2012\";s:9:\"\u0000*\u0000volume\";s:2:\"42\";s:8:\"\u0000*\u0000issue\";s:1:\"2\";s:8:\"\u0000*\u0000spage\";s:3:\"187\";s:8:\"\u0000*\u0000epage\";s:3:\"200\";s:8:\"\u0000*\u0000pages\";s:0:\"\";s:7:\"\u0000*\u0000issn\";s:9:\"1094-6977\";s:8:\"\u0000*\u0000eissn\";s:0:\"\";s:9:\"\u0000*\u0000aulast\";s:6:\"BASILE\";s:10:\"\u0000*\u0000aufirst\";s:7:\"Cataldo\";s:9:\"\u0000*\u0000auinit\";s:0:\"\";s:10:\"\u0000*\u0000auinitm\";s:0:\"\";s:5:\"\u0000*\u0000au\";a:2:{i:0;s:17:\"DI CARLO, Stefano\";i:1;s:16:\"SCIONTI, Alberto\";}s:9:\"\u0000*\u0000aucorp\";s:0:\"\";s:7:\"\u0000*\u0000isbn\";s:0:\"\";s:8:\"\u0000*\u0000coden\";s:6:\"ITCRFH\";s:8:\"\u0000*\u0000genre\";s:7:\"article\";s:7:\"\u0000*\u0000part\";s:0:\"\";s:9:\"\u0000*\u0000btitle\";s:0:\"\";s:8:\"\u0000*\u0000title\";s:89:\"FPGA-Based Remote-Code Integrity Verification of Programs in Distributed Embedded Systems\";s:8:\"\u0000*\u0000place\";s:12:\"New-York, NY\";s:6:\"\u0000*\u0000pub\";s:49:\"Institute of Electrical and Electronics Engineers\";s:10:\"\u0000*\u0000edition\";s:0:\"\";s:9:\"\u0000*\u0000tpages\";s:2:\"14\";s:9:\"\u0000*\u0000series\";s:0:\"\";s:8:\"\u0000*\u0000proxy\";s:30:\"http:\/\/proxyout.inist.fr:8080\/\";s:12:\"\u0000*\u0000integrite\";b:1;}"
Accès par Istex
"O:16:\"UnpaywallOpenUrl\":35:{s:8:\"\u0000*\u0000email\";s:27:\"assistance-portail@inist.fr\";s:6:\"\u0000*\u0000fmt\";N;s:6:\"\u0000*\u0000doi\";s:26:\"10.1109\/TSMCC.2011.2106493\";s:6:\"\u0000*\u0000pii\";N;s:7:\"\u0000*\u0000pmid\";N;s:9:\"\u0000*\u0000atitle\";N;s:9:\"\u0000*\u0000jtitle\";N;s:9:\"\u0000*\u0000stitle\";N;s:7:\"\u0000*\u0000date\";N;s:9:\"\u0000*\u0000volume\";N;s:8:\"\u0000*\u0000issue\";N;s:8:\"\u0000*\u0000spage\";N;s:8:\"\u0000*\u0000epage\";N;s:8:\"\u0000*\u0000pages\";N;s:7:\"\u0000*\u0000issn\";N;s:8:\"\u0000*\u0000eissn\";N;s:9:\"\u0000*\u0000aulast\";N;s:10:\"\u0000*\u0000aufirst\";N;s:9:\"\u0000*\u0000auinit\";N;s:10:\"\u0000*\u0000auinitm\";N;s:5:\"\u0000*\u0000au\";N;s:9:\"\u0000*\u0000aucorp\";N;s:7:\"\u0000*\u0000isbn\";N;s:8:\"\u0000*\u0000coden\";N;s:8:\"\u0000*\u0000genre\";N;s:7:\"\u0000*\u0000part\";N;s:9:\"\u0000*\u0000btitle\";N;s:8:\"\u0000*\u0000title\";N;s:8:\"\u0000*\u0000place\";N;s:6:\"\u0000*\u0000pub\";N;s:10:\"\u0000*\u0000edition\";N;s:9:\"\u0000*\u0000tpages\";N;s:9:\"\u0000*\u0000series\";N;s:8:\"\u0000*\u0000proxy\";s:30:\"http:\/\/proxyout.inist.fr:8080\/\";s:12:\"\u0000*\u0000integrite\";N;}"
Accès par Unpaywall
"O:16:\"EuropePMCOpenUrl\":35:{s:10:\"\u0000*\u0000openUrl\";N;s:6:\"\u0000*\u0000fmt\";s:7:\"journal\";s:6:\"\u0000*\u0000doi\";s:26:\"10.1109\/TSMCC.2011.2106493\";s:6:\"\u0000*\u0000pii\";s:0:\"\";s:7:\"\u0000*\u0000pmid\";s:0:\"\";s:9:\"\u0000*\u0000atitle\";s:89:\"FPGA-Based Remote-Code Integrity Verification of Programs in Distributed Embedded Systems\";s:9:\"\u0000*\u0000jtitle\";s:83:\"IEEE transactions on systems, man and cybernetics. Part C, Applications and reviews\";s:9:\"\u0000*\u0000stitle\";s:47:\"IEEE trans. syst. man cybern., Part C Appl. rev\";s:7:\"\u0000*\u0000date\";s:4:\"2012\";s:9:\"\u0000*\u0000volume\";s:2:\"42\";s:8:\"\u0000*\u0000issue\";s:1:\"2\";s:8:\"\u0000*\u0000spage\";s:3:\"187\";s:8:\"\u0000*\u0000epage\";s:3:\"200\";s:8:\"\u0000*\u0000pages\";s:0:\"\";s:7:\"\u0000*\u0000issn\";s:9:\"1094-6977\";s:8:\"\u0000*\u0000eissn\";s:0:\"\";s:9:\"\u0000*\u0000aulast\";s:6:\"BASILE\";s:10:\"\u0000*\u0000aufirst\";s:7:\"Cataldo\";s:9:\"\u0000*\u0000auinit\";s:0:\"\";s:10:\"\u0000*\u0000auinitm\";s:0:\"\";s:5:\"\u0000*\u0000au\";a:2:{i:0;s:17:\"DI CARLO, Stefano\";i:1;s:16:\"SCIONTI, Alberto\";}s:9:\"\u0000*\u0000aucorp\";s:0:\"\";s:7:\"\u0000*\u0000isbn\";s:0:\"\";s:8:\"\u0000*\u0000coden\";s:6:\"ITCRFH\";s:8:\"\u0000*\u0000genre\";s:7:\"article\";s:7:\"\u0000*\u0000part\";s:0:\"\";s:9:\"\u0000*\u0000btitle\";s:0:\"\";s:8:\"\u0000*\u0000title\";s:89:\"FPGA-Based Remote-Code Integrity Verification of Programs in Distributed Embedded Systems\";s:8:\"\u0000*\u0000place\";s:12:\"New-York, NY\";s:6:\"\u0000*\u0000pub\";s:49:\"Institute of Electrical and Electronics Engineers\";s:10:\"\u0000*\u0000edition\";s:0:\"\";s:9:\"\u0000*\u0000tpages\";s:2:\"14\";s:9:\"\u0000*\u0000series\";s:0:\"\";s:8:\"\u0000*\u0000proxy\";s:30:\"http:\/\/proxyout.inist.fr:8080\/\";s:12:\"\u0000*\u0000integrite\";b:1;}"
Accès par Europe PubMed Central
"O:12:\"ArXivOpenUrl\":35:{s:10:\"\u0000*\u0000openUrl\";N;s:6:\"\u0000*\u0000fmt\";s:7:\"journal\";s:6:\"\u0000*\u0000doi\";s:26:\"10.1109\/TSMCC.2011.2106493\";s:6:\"\u0000*\u0000pii\";s:0:\"\";s:7:\"\u0000*\u0000pmid\";s:0:\"\";s:9:\"\u0000*\u0000atitle\";s:89:\"FPGA-Based Remote-Code Integrity Verification of Programs in Distributed Embedded Systems\";s:9:\"\u0000*\u0000jtitle\";s:83:\"IEEE transactions on systems, man and cybernetics. Part C, Applications and reviews\";s:9:\"\u0000*\u0000stitle\";s:47:\"IEEE trans. syst. man cybern., Part C Appl. rev\";s:7:\"\u0000*\u0000date\";s:4:\"2012\";s:9:\"\u0000*\u0000volume\";s:2:\"42\";s:8:\"\u0000*\u0000issue\";s:1:\"2\";s:8:\"\u0000*\u0000spage\";s:3:\"187\";s:8:\"\u0000*\u0000epage\";s:3:\"200\";s:8:\"\u0000*\u0000pages\";s:0:\"\";s:7:\"\u0000*\u0000issn\";s:9:\"1094-6977\";s:8:\"\u0000*\u0000eissn\";s:0:\"\";s:9:\"\u0000*\u0000aulast\";s:6:\"BASILE\";s:10:\"\u0000*\u0000aufirst\";s:7:\"Cataldo\";s:9:\"\u0000*\u0000auinit\";s:0:\"\";s:10:\"\u0000*\u0000auinitm\";s:0:\"\";s:5:\"\u0000*\u0000au\";a:2:{i:0;s:17:\"DI CARLO, Stefano\";i:1;s:16:\"SCIONTI, Alberto\";}s:9:\"\u0000*\u0000aucorp\";s:0:\"\";s:7:\"\u0000*\u0000isbn\";s:0:\"\";s:8:\"\u0000*\u0000coden\";s:6:\"ITCRFH\";s:8:\"\u0000*\u0000genre\";s:7:\"article\";s:7:\"\u0000*\u0000part\";s:0:\"\";s:9:\"\u0000*\u0000btitle\";s:0:\"\";s:8:\"\u0000*\u0000title\";s:89:\"FPGA-Based Remote-Code Integrity Verification of Programs in Distributed Embedded Systems\";s:8:\"\u0000*\u0000place\";s:12:\"New-York, NY\";s:6:\"\u0000*\u0000pub\";s:49:\"Institute of Electrical and Electronics Engineers\";s:10:\"\u0000*\u0000edition\";s:0:\"\";s:9:\"\u0000*\u0000tpages\";s:2:\"14\";s:9:\"\u0000*\u0000series\";s:0:\"\";s:8:\"\u0000*\u0000proxy\";s:30:\"http:\/\/proxyout.inist.fr:8080\/\";s:12:\"\u0000*\u0000integrite\";b:1;}"
Accès par arXiv
