| Property |
Value |
| dbo:abstract
|
- Les systèmes d'exploitation pour carte à puce aussi appelés COS assurent fondamentalement les mêmes fonctions que les autres systèmes d'exploitation, mais dans un contexte matériel où les limitations matérielles et les problématiques de sécurité sont exacerbées. Ainsi, à l'instar des autres systèmes d'exploitation, ceux des cartes à puce gèrent le matériel qui leur est assigné. Une carte à puce comporte notamment une mémoire de travail volatile (sous la forme de SRAM), une mémoire non ré-inscriptible (ROM) qui contient le code du système d'exploitation et éventuellement celui d'application pré-déployé ainsi qu'une mémoire morte ré-inscriptible (typiquement de l'EPROM), permettant de stocker des données qui resteront disponibles lorsque la carte sera redémarrée. Le système d'exploitation gère aussi le Microprocesseur, parfois assorti d’un processeur destiné à la cryptographie et le protocole de communication (généralement celui spécifié par la norme ISO 7816). Les possibilités matérielles des cartes étant limitées en mémoire et en puissance de calcul, les systèmes d’exploitation de ces équipements se doivent d'être les plus légers possibles afin d'être embarqués dans la mémoire des cartes. Malgré ces limites matérielles, ces COS doivent intégrer des fonctionnalités ainsi que des spécificités tel que :
* L’allocation de mémoire (RAM, EEPROM) ;
* Le système de fichiers ;
* Le contrôle d'exécution de code ;
* Le chargement, le lancement et la gestion des applications ;
* La transmission de données ;
* L'exécution et la gestion des algorithmes cryptographiques. D'un système mono-applicatif où le système d'exploitation et l'applicatif ne font qu'un (1981), aux cartes à puces les plus récentes pouvant gérer plusieurs applications sur une même carte, les architectures ont évolué et se classifient selon trois modèles. Les systèmes fermés, généralement propriétaires et étroitement liés au matériel sont réalisés pour supporter une application, ou un ensemble d'application prédéfinit. Les systèmes post-issuance repose sur la mise en œuvre d'une machine virtuelle applicative tel que « Java Card Virtual Machine » et « Multos » ou l'environnement d'exécution est sécurisé et authentifié. L'utilisation d'hyperviseurs a plus récemment été envisagé, avec le système d'exploitation CAMILLE. D'un point de vue économique, le marché des cartes à puce, en perpétuelle évolution, est présent dans divers domaines (télécommunication, bancaire, télévision…). (fr)
- Les systèmes d'exploitation pour carte à puce aussi appelés COS assurent fondamentalement les mêmes fonctions que les autres systèmes d'exploitation, mais dans un contexte matériel où les limitations matérielles et les problématiques de sécurité sont exacerbées. Ainsi, à l'instar des autres systèmes d'exploitation, ceux des cartes à puce gèrent le matériel qui leur est assigné. Une carte à puce comporte notamment une mémoire de travail volatile (sous la forme de SRAM), une mémoire non ré-inscriptible (ROM) qui contient le code du système d'exploitation et éventuellement celui d'application pré-déployé ainsi qu'une mémoire morte ré-inscriptible (typiquement de l'EPROM), permettant de stocker des données qui resteront disponibles lorsque la carte sera redémarrée. Le système d'exploitation gère aussi le Microprocesseur, parfois assorti d’un processeur destiné à la cryptographie et le protocole de communication (généralement celui spécifié par la norme ISO 7816). Les possibilités matérielles des cartes étant limitées en mémoire et en puissance de calcul, les systèmes d’exploitation de ces équipements se doivent d'être les plus légers possibles afin d'être embarqués dans la mémoire des cartes. Malgré ces limites matérielles, ces COS doivent intégrer des fonctionnalités ainsi que des spécificités tel que :
* L’allocation de mémoire (RAM, EEPROM) ;
* Le système de fichiers ;
* Le contrôle d'exécution de code ;
* Le chargement, le lancement et la gestion des applications ;
* La transmission de données ;
* L'exécution et la gestion des algorithmes cryptographiques. D'un système mono-applicatif où le système d'exploitation et l'applicatif ne font qu'un (1981), aux cartes à puces les plus récentes pouvant gérer plusieurs applications sur une même carte, les architectures ont évolué et se classifient selon trois modèles. Les systèmes fermés, généralement propriétaires et étroitement liés au matériel sont réalisés pour supporter une application, ou un ensemble d'application prédéfinit. Les systèmes post-issuance repose sur la mise en œuvre d'une machine virtuelle applicative tel que « Java Card Virtual Machine » et « Multos » ou l'environnement d'exécution est sécurisé et authentifié. L'utilisation d'hyperviseurs a plus récemment été envisagé, avec le système d'exploitation CAMILLE. D'un point de vue économique, le marché des cartes à puce, en perpétuelle évolution, est présent dans divers domaines (télécommunication, bancaire, télévision…). (fr)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 44303 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1973 (xsd:integer)
- 1984 (xsd:integer)
- 1994 (xsd:integer)
- 1995 (xsd:integer)
- 1998 (xsd:integer)
- 1999 (xsd:integer)
- 2000 (xsd:integer)
- 2001 (xsd:integer)
- 2002 (xsd:integer)
- 2003 (xsd:integer)
- 2004 (xsd:integer)
- 2007 (xsd:integer)
|
| prop-fr:archiveDate
| |
| prop-fr:archiveUrl
| |
| prop-fr:archivedate
| |
| prop-fr:archiveurl
| |
| prop-fr:auteur
|
- Microsoft (fr)
- Christian Tavernier (fr)
- CardLogix Corporation (fr)
- GIE Carte Bancaire (fr)
- Jérôme Baumgarten - Nicolas Descamps (fr)
- Société Cardwerk (fr)
- Société OCC : OnCardConnect (fr)
- Microsoft (fr)
- Christian Tavernier (fr)
- CardLogix Corporation (fr)
- GIE Carte Bancaire (fr)
- Jérôme Baumgarten - Nicolas Descamps (fr)
- Société Cardwerk (fr)
- Société OCC : OnCardConnect (fr)
|
| prop-fr:briséLe
| |
| prop-fr:consultéLe
|
- 2011-03-15 (xsd:date)
- 2011-05-11 (xsd:date)
- 2011-05-12 (xsd:date)
|
| prop-fr:date
| |
| prop-fr:fr
|
- ISO/CEI 14443 (fr)
- ISO/CEI 7816 (fr)
- IEC 7816-15 (fr)
- ISO/CEI 15693 (fr)
- Telesec (fr)
- ISO/CEI 14443 (fr)
- ISO/CEI 7816 (fr)
- IEC 7816-15 (fr)
- ISO/CEI 15693 (fr)
- Telesec (fr)
|
| prop-fr:horodatageArchive
|
- 20110504112355 (xsd:decimal)
|
| prop-fr:id
|
- A.Galland and Al (fr)
- C.Cardeira and Al (fr)
- D.Deville and Al (fr)
- D.Engler and Al (fr)
- E.Rose and Al (fr)
- G.Grimaud (fr)
- G.Grimaud et Al (fr)
- GIE1984 (fr)
- Guillou2004 (fr)
- JL.Lanet and Al (fr)
- Liu1973 (fr)
- Rankl2007 (fr)
- U. Hansmann et Al. 2002 (fr)
- A.Galland and Al (fr)
- C.Cardeira and Al (fr)
- D.Deville and Al (fr)
- D.Engler and Al (fr)
- E.Rose and Al (fr)
- G.Grimaud (fr)
- G.Grimaud et Al (fr)
- GIE1984 (fr)
- Guillou2004 (fr)
- JL.Lanet and Al (fr)
- Liu1973 (fr)
- Rankl2007 (fr)
- U. Hansmann et Al. 2002 (fr)
|
| prop-fr:isbn
|
- 2 (xsd:integer)
- 3 (xsd:integer)
- 978 (xsd:integer)
|
| prop-fr:issn
| |
| prop-fr:journal
|
- --01-25
- In Workshop "Formal Underpinnings of the Java Paradigm", OOPSLA'98, 1998. (fr)
- ACM 20,1 , 46-61.. (fr)
- In the 5th IEEE Workshop on Hot Topics in Operating Systems, pages 78-94, Orcas Island, USA, May 1995. (fr)
- In Proc. 5th NORDU/USENIX Conference (fr)
- In Software Engineering–ESEC/FSE’99 (fr)
- In ECOOP Workshop on Programming Languages and Operating Systems , Oslo, Norway. (fr)
- Deuxième Conférence Française sur les Systèmes d'Exploitation. (fr)
- Actes du septième Colloque sur l'histoire de l'informatique et des transmissions (fr)
- Revue RAIRO, Automatique Productique Informatique Industrielle (fr)
|
| prop-fr:lang
|
- de (fr)
- en (fr)
- de (fr)
- en (fr)
|
| prop-fr:langue
|
- en (fr)
- fr (fr)
- en (fr)
- fr (fr)
|
| prop-fr:langueOriginale
| |
| prop-fr:lieu
|
- Chichester, England (fr)
- Chichester, England (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:mois
|
- Juin (fr)
- mai (fr)
- Juin (fr)
- mai (fr)
|
| prop-fr:nom
|
- Grimaud (fr)
- Rose (fr)
- Schneider (fr)
- Jean (fr)
- Liu (fr)
- Deville (fr)
- Galland (fr)
- Mammeri (fr)
- Folliot (fr)
- Lanet (fr)
- Guillou (fr)
- Kaashoek (fr)
- Rippert (fr)
- Hansmann (fr)
- Engler (fr)
- Vandewalle (fr)
- Rankl (fr)
- Seliger (fr)
- Cardeira (fr)
- Layland (fr)
- Nicklous (fr)
- Schäck (fr)
- Grimaud (fr)
- Rose (fr)
- Schneider (fr)
- Jean (fr)
- Liu (fr)
- Deville (fr)
- Galland (fr)
- Mammeri (fr)
- Folliot (fr)
- Lanet (fr)
- Guillou (fr)
- Kaashoek (fr)
- Rippert (fr)
- Hansmann (fr)
- Engler (fr)
- Vandewalle (fr)
- Rankl (fr)
- Seliger (fr)
- Cardeira (fr)
- Layland (fr)
- Nicklous (fr)
- Schäck (fr)
|
| prop-fr:page
|
- 18 (xsd:integer)
- 272 (xsd:integer)
- 273 (xsd:integer)
|
| prop-fr:pages
|
- 46 (xsd:integer)
- 353 (xsd:integer)
- 476 (xsd:integer)
|
| prop-fr:pagesTotales
|
- 217 (xsd:integer)
- 305 (xsd:integer)
|
| prop-fr:passage
| |
| prop-fr:prénom
|
- DR (fr)
- E (fr)
- G. (fr)
- Louis (fr)
- C. (fr)
- D. (fr)
- Damien (fr)
- Frank (fr)
- Gilles (fr)
- MF (fr)
- Wolfgang (fr)
- Thomas (fr)
- Z. (fr)
- Antoine (fr)
- Sébastien (fr)
- Achim (fr)
- J.-L. (fr)
- KH (fr)
- C.L. (fr)
- Uwe (fr)
- Bertil (fr)
- Martin S. (fr)
- J.W. (fr)
- J-I (fr)
- DR (fr)
- E (fr)
- G. (fr)
- Louis (fr)
- C. (fr)
- D. (fr)
- Damien (fr)
- Frank (fr)
- Gilles (fr)
- MF (fr)
- Wolfgang (fr)
- Thomas (fr)
- Z. (fr)
- Antoine (fr)
- Sébastien (fr)
- Achim (fr)
- J.-L. (fr)
- KH (fr)
- C.L. (fr)
- Uwe (fr)
- Bertil (fr)
- Martin S. (fr)
- J.W. (fr)
- J-I (fr)
|
| prop-fr:sousTitre
|
- Second Edition (fr)
- design models for using and programming smart cards (fr)
- Second Edition (fr)
- design models for using and programming smart cards (fr)
|
| prop-fr:titre
|
- SCI (fr)
- Histoire de la carte à puce du point de vue d’un cryptologue (fr)
- Flexible bindings for type-safe embedded operating systems (fr)
- LES SPECIFICATIONS ET LES NORMES DE LA CARTE A MEMOIRE BANCAIRE (fr)
- Ordonnancement de tâches dans les systèmes temps réel et répartis. (fr)
- CAMILLE système d'exploitation Ouvert pour Carte à microprocesseur (fr)
- Exterminate All Operating System Abstractions. (fr)
- Fat-based file management (fr)
- Integrated Circuits and Card Operating Systems (fr)
- Introduction to Windows for Smart Cards (fr)
- La carte à puce (fr)
- Lightweight bytecode verification. (fr)
- Evaluation d'un micro-noyau destiné aux cartes à microprocesseur. (fr)
- Pointer-based file management (fr)
- SCSF (fr)
- Smart Card Operating System (fr)
- Smart card application development using Java (fr)
- Smart card applications (fr)
- What is the COS ? (fr)
- SC-CFS : Smartcard Secured Cryptographic File System (fr)
- Scheduling algorithms for multiprogramming in a hard-real-time environnement. (fr)
- FACADE: A Typed Intermediate Language Dedicated to Smart Cards. (fr)
- Les cartes à microcontrôleur ou cartes asynchrones (fr)
- Contrôle des ressources dans les cartes à microprocesseur (fr)
- Smart Card Operating Systems: Past Present and Future (fr)
- SCI (fr)
- Histoire de la carte à puce du point de vue d’un cryptologue (fr)
- Flexible bindings for type-safe embedded operating systems (fr)
- LES SPECIFICATIONS ET LES NORMES DE LA CARTE A MEMOIRE BANCAIRE (fr)
- Ordonnancement de tâches dans les systèmes temps réel et répartis. (fr)
- CAMILLE système d'exploitation Ouvert pour Carte à microprocesseur (fr)
- Exterminate All Operating System Abstractions. (fr)
- Fat-based file management (fr)
- Integrated Circuits and Card Operating Systems (fr)
- Introduction to Windows for Smart Cards (fr)
- La carte à puce (fr)
- Lightweight bytecode verification. (fr)
- Evaluation d'un micro-noyau destiné aux cartes à microprocesseur. (fr)
- Pointer-based file management (fr)
- SCSF (fr)
- Smart Card Operating System (fr)
- Smart card application development using Java (fr)
- Smart card applications (fr)
- What is the COS ? (fr)
- SC-CFS : Smartcard Secured Cryptographic File System (fr)
- Scheduling algorithms for multiprogramming in a hard-real-time environnement. (fr)
- FACADE: A Typed Intermediate Language Dedicated to Smart Cards. (fr)
- Les cartes à microcontrôleur ou cartes asynchrones (fr)
- Contrôle des ressources dans les cartes à microprocesseur (fr)
- Smart Card Operating Systems: Past Present and Future (fr)
|
| prop-fr:traducteur
|
- Kenneth Cox (fr)
- Kenneth Cox (fr)
|
| prop-fr:url
| |
| prop-fr:urlTexte
| |
| prop-fr:volume
|
- 20 (xsd:integer)
- 28 (xsd:integer)
- 1687 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Springer (fr)
- J. Wiley & Sons (fr)
- LNCS, Springer (fr)
- PhD thèse, Laboratoire d'Informatique Fondamentale de Lille (fr)
- Springer (fr)
- J. Wiley & Sons (fr)
- LNCS, Springer (fr)
- PhD thèse, Laboratoire d'Informatique Fondamentale de Lille (fr)
|
| dct:subject
| |
| rdfs:comment
|
- Les systèmes d'exploitation pour carte à puce aussi appelés COS assurent fondamentalement les mêmes fonctions que les autres systèmes d'exploitation, mais dans un contexte matériel où les limitations matérielles et les problématiques de sécurité sont exacerbées.
* L’allocation de mémoire (RAM, EEPROM) ;
* Le système de fichiers ;
* Le contrôle d'exécution de code ;
* Le chargement, le lancement et la gestion des applications ;
* La transmission de données ;
* L'exécution et la gestion des algorithmes cryptographiques. (fr)
- Les systèmes d'exploitation pour carte à puce aussi appelés COS assurent fondamentalement les mêmes fonctions que les autres systèmes d'exploitation, mais dans un contexte matériel où les limitations matérielles et les problématiques de sécurité sont exacerbées.
* L’allocation de mémoire (RAM, EEPROM) ;
* Le système de fichiers ;
* Le contrôle d'exécution de code ;
* Le chargement, le lancement et la gestion des applications ;
* La transmission de données ;
* L'exécution et la gestion des algorithmes cryptographiques. (fr)
|
| rdfs:label
|
- Système d'exploitation pour carte à puce (fr)
- Système d'exploitation pour carte à puce (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
