About: http://fr.dbpedia.org/resource/Vérification_de_bytecode_Java

Property	Value
dbo:abstract	La vérification du bytecode d'applications Java Card est utilisée pour assurer la sécurité en termes de confidentialité et d'intégrité des données. En effet, il est possible d'enregistrer, au sein de la même carte à puce, plusieurs applications, et ce même après sa fabrication. Une application malveillante installée sur une carte contenant des données sensibles ou confidentielles, comme une carte de paiement bancaire, peut effectuer plusieurs actions qui pourraient mettre ces données en péril. Cette vérification permet de réduire au minimum les risques. (fr) La vérification du bytecode d'applications Java Card est utilisée pour assurer la sécurité en termes de confidentialité et d'intégrité des données. En effet, il est possible d'enregistrer, au sein de la même carte à puce, plusieurs applications, et ce même après sa fabrication. Une application malveillante installée sur une carte contenant des données sensibles ou confidentielles, comme une carte de paiement bancaire, peut effectuer plusieurs actions qui pourraient mettre ces données en péril. Cette vérification permet de réduire au minimum les risques. (fr)
dbo:thumbnail	wiki-commons:Special:FilePath/On_card_verification.png?width=300
dbo:wikiPageExternalLink	http://www.oracle.com/technetwork/java/javacard/offcardverifierwp-150021.pdf https://link.springer.com/chapter/10.1007%2F3-540-45418-7_2%3FLI=true http://www.oracle.com/technetwork/java/javacard/javacard1-139251.html http://www.oracle.com/technetwork/java/javacard/specs-jsp-136430.html http://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.114.6914&rep=rep1&type=pdf http://cordis.europa.eu/ictresults/index.cfm%3Fsection=news&tpl=article&BrowsingType=Features&ID=70511 http://www-sop.inria.fr/lemme/verificard/ http://pauillac.inria.fr/~xleroy/publi/oncard-verifier-spe.pdf https://www.sstic.org/media/SSTIC2012/SSTIC-actes/compromission_application_bancaire_javacard/SSTIC2012-Article-compromission_application_bancaire_javacard-lancia_1.pdf http://www.academypublisher.com/jcp/vol04/no06/jcp0406502509.pdf http://gallium.inria.fr/~xleroy/publi/bytecode-verification-JAR.pdf
dbo:wikiPageID	6573669 (xsd:integer)
dbo:wikiPageLength	29697 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	168278991 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-fr:Carte_à_puce category-fr:Sécurité_informatique dbpedia-fr:Fichier:On_card_verification.png
prop-fr:année	1997 (xsd:integer) 2000 (xsd:integer) 2001 (xsd:integer) 2002 (xsd:integer) 2003 (xsd:integer) 2009 (xsd:integer) 2011 (xsd:integer)
prop-fr:date	2001 (xsd:integer) 2002 (xsd:integer) 2003 (xsd:integer) 2009 (xsd:integer) 2012 (xsd:integer) juillet 2002 (fr)
prop-fr:doi	10.100200 (xsd:double) 10.100700 (xsd:double) 10.101600 (xsd:double) 10.102300 (xsd:double) 10.110900 (xsd:double) 10.114500 (xsd:double) 10.430400 (xsd:double)
prop-fr:format	pdf (fr) pdf (fr)
prop-fr:id	Increasing smart card dependability (fr) Java Card 2.2 Off-Card Verifier (fr) Java bytecode verification algorithms and formalizations (fr) Building an "impossible" verifier on a java card (fr) Bytecode verification on Java smart cards (fr) Java Bytecode Specification and Verification (fr) Java Bytecode Verification: An Overview (fr) Formal_Development_of_an_Embedded_Verifier_for_Java_Card_Byte_Code (fr) Lightweight_Bytecode_Verification (fr) On-Card Bytecode Verification for Java Card (fr) Proof-carrying_code (fr) Verified Bytecode Verifiers (fr) jakarta (fr) jcrespecclassic (fr) sstic2012 (fr) witteman (fr) In Smart Card Programming and Security, International Conference on Research in Smart Cards, e-Smart 2001 (fr) Application of the B formal method to the proof of a type verification algorithm (fr) Research on On-card Bytecode Verifier for Java Cards (fr) An_Improved_Bytecode_Verification_Algorithm_on_Java_Card (fr) Increasing smart card dependability (fr) Java Card 2.2 Off-Card Verifier (fr) Java bytecode verification algorithms and formalizations (fr) Building an "impossible" verifier on a java card (fr) Bytecode verification on Java smart cards (fr) Java Bytecode Specification and Verification (fr) Java Bytecode Verification: An Overview (fr) Formal_Development_of_an_Embedded_Verifier_for_Java_Card_Byte_Code (fr) Lightweight_Bytecode_Verification (fr) On-Card Bytecode Verification for Java Card (fr) Proof-carrying_code (fr) Verified Bytecode Verifiers (fr) jakarta (fr) jcrespecclassic (fr) sstic2012 (fr) witteman (fr) In Smart Card Programming and Security, International Conference on Research in Smart Cards, e-Smart 2001 (fr) Application of the B formal method to the proof of a type verification algorithm (fr) Research on On-card Bytecode Verifier for Java Cards (fr) An_Improved_Bytecode_Verification_Algorithm_on_Java_Card (fr)
prop-fr:isbn	0 (xsd:integer) 1 (xsd:integer) 978 (xsd:integer) 3540426108 (xsd:decimal)
prop-fr:jour	1 (xsd:integer) 10 (xsd:integer) 11 (xsd:integer) 15 (xsd:integer) 19 (xsd:integer)
prop-fr:journal	SAC '06 Proceedings of the 2006 ACM symposium on Applied computing (fr) Information Security Bulletin (fr) SSTIC 2012 (fr) Smart Card Programming and Security (fr) WIESS'02 Proceedings of the 2nd conference on Industrial Experiences with Systems Software - Volume 2 (fr) Journal of Computers, Vol 4, No 6 (fr) Software Practice & Experience, Volume 32 (fr) Journal of Automated Reasoning, Volume 30, Issue 3-4 (fr) SAC '06 Proceedings of the 2006 ACM symposium on Applied computing (fr) Information Security Bulletin (fr) SSTIC 2012 (fr) Smart Card Programming and Security (fr) WIESS'02 Proceedings of the 2nd conference on Industrial Experiences with Systems Software - Volume 2 (fr) Journal of Computers, Vol 4, No 6 (fr) Software Practice & Experience, Volume 32 (fr) Journal of Automated Reasoning, Volume 30, Issue 3-4 (fr)
prop-fr:langue	en (fr) fr (fr) Anglais (fr) en (fr) fr (fr) Anglais (fr)
prop-fr:lireEnLigne	http://www.oracle.com/technetwork/java/javacard/offcardverifierwp-150021.pdf http://www.oracle.com/technetwork/java/javacard/specs-jsp-136430.html
prop-fr:mois	mars (fr) septembre (fr) avril (fr) novembre (fr) decembre (fr) mars (fr) septembre (fr) avril (fr) novembre (fr) decembre (fr)
prop-fr:nom	Grimaud (fr) Lancia (fr) Rose (fr) Wu (fr) Ma (fr) Wang (fr) Yu (fr) Leroy (fr) Dufay (fr) Deville (fr) Klein (fr) Witteman (fr) Burdy (fr) Barthe (fr) Yong (fr) Huisman (fr) Necula (fr) Pavlova (fr) Casset (fr) Nipkow (fr) Lannet (fr) Melo De Sousa (fr) Melo des Sousa (fr) Requet (fr) YaPing (fr) ZhaoBin (fr) ZhongHua (fr) Grimaud (fr) Lancia (fr) Rose (fr) Wu (fr) Ma (fr) Wang (fr) Yu (fr) Leroy (fr) Dufay (fr) Deville (fr) Klein (fr) Witteman (fr) Burdy (fr) Barthe (fr) Yong (fr) Huisman (fr) Necula (fr) Pavlova (fr) Casset (fr) Nipkow (fr) Lannet (fr) Melo De Sousa (fr) Melo des Sousa (fr) Requet (fr) YaPing (fr) ZhaoBin (fr) ZhongHua (fr)
prop-fr:pages	2 (xsd:integer) 11 (xsd:integer) 51 (xsd:integer) 106 (xsd:integer) 115 (xsd:integer) 150 (xsd:integer) 209 (xsd:integer) 235 (xsd:integer) 265 (xsd:integer) 303 (xsd:integer) 319 (xsd:integer) 502 (xsd:integer) 552 (xsd:integer) 583 (xsd:integer) 1835 (xsd:integer) 2002 (xsd:integer)
prop-fr:pagesTotales	20 (xsd:integer) 110 (xsd:integer)
prop-fr:prénom	Li (fr) G. (fr) M. (fr) Marc (fr) Eva (fr) Damien (fr) Gilles (fr) Julien (fr) S. (fr) Chi (fr) Ludovic (fr) Tobias (fr) Wang (fr) Xavier (fr) Antoine (fr) Jean-Louis (fr) Fang (fr) George C. (fr) Lilian (fr) Pengfei (fr) Gerwin (fr) Jun-jun (fr) Mariela (fr) Tongyang (fr) Xin-long (fr) Li (fr) G. (fr) M. (fr) Marc (fr) Eva (fr) Damien (fr) Gilles (fr) Julien (fr) S. (fr) Chi (fr) Ludovic (fr) Tobias (fr) Wang (fr) Xavier (fr) Antoine (fr) Jean-Louis (fr) Fang (fr) George C. (fr) Lilian (fr) Pengfei (fr) Gerwin (fr) Jun-jun (fr) Mariela (fr) Tongyang (fr) Xin-long (fr)
prop-fr:périodique	Lecture Notes in Computer Science (fr) Software: Practice and Experience (fr) High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000 (fr) Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on (fr) Journal of Automated Reasoning Volume 31, Issue 3-4 (fr) Proceeding EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop (fr) Computational Intelligence and Security, 2009. CIS '09. International Conference on (fr) Theoretical Computer Science - Foundations of software science and computation structures (fr) Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (fr) Lecture Notes in Computer Science (fr) Software: Practice and Experience (fr) High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000 (fr) Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on (fr) Journal of Automated Reasoning Volume 31, Issue 3-4 (fr) Proceeding EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop (fr) Computational Intelligence and Security, 2009. CIS '09. International Conference on (fr) Theoretical Computer Science - Foundations of software science and computation structures (fr) Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (fr)
prop-fr:sousTitre	Runtime Environment Specification, Classic Edition (fr) Runtime Environment Specification, Classic Edition (fr)
prop-fr:titre	Increasing smart card dependability (fr) Java Card 2.2 Off-Card Verifier (fr) Advances in smartcard security (fr) An Improved Bytecode Verification Algorithm on Java Card (fr) Java bytecode verification: algorithms and formalizations (fr) Formal Development of an Embedded Verifier for Java Card Byte Code (fr) Building an "impossible" verifier on a java card (fr) Bytecode verification on Java smart cards (fr) Jakarta: a toolset for reasoning about JavaCard (fr) Java Bytecode Specification and Verification (fr) Java Bytecode Verification: An Overview (fr) Java Card 3 Platform (fr) Lightweight Bytecode Verification (fr) On-Card Bytecode Verification for Java Card (fr) Proof-carrying code (fr) Verified Bytecode Verifiers (fr) Compromission d’une application bancaire JavaCard par attaque logicielle (fr) Application of the B formal method to the proof of a type verification algorithm (fr) Research on On-card Bytecode Verifier for Java Cards (fr) Increasing smart card dependability (fr) Java Card 2.2 Off-Card Verifier (fr) Advances in smartcard security (fr) An Improved Bytecode Verification Algorithm on Java Card (fr) Java bytecode verification: algorithms and formalizations (fr) Formal Development of an Embedded Verifier for Java Card Byte Code (fr) Building an "impossible" verifier on a java card (fr) Bytecode verification on Java smart cards (fr) Jakarta: a toolset for reasoning about JavaCard (fr) Java Bytecode Specification and Verification (fr) Java Bytecode Verification: An Overview (fr) Java Card 3 Platform (fr) Lightweight Bytecode Verification (fr) On-Card Bytecode Verification for Java Card (fr) Proof-carrying code (fr) Verified Bytecode Verifiers (fr) Compromission d’une application bancaire JavaCard par attaque logicielle (fr) Application of the B formal method to the proof of a type verification algorithm (fr) Research on On-card Bytecode Verifier for Java Cards (fr)
prop-fr:titreChapitre	Jakarta: A Toolset for Reasoning about JavaCard (fr) Jakarta: A Toolset for Reasoning about JavaCard (fr)
prop-fr:titreOuvrage	Proceedings of the International Conference on Research in Smart Cards (fr) Proceedings of the International Conference on Research in Smart Cards (fr)
prop-fr:url	https://link.springer.com/chapter/10.1007%2F3-540-45418-7_2%3FLI=true http://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.114.6914&rep=rep1&type=pdf http://pauillac.inria.fr/~xleroy/publi/oncard-verifier-spe.pdf https://www.sstic.org/media/SSTIC2012/SSTIC-actes/compromission_application_bancaire_javacard/SSTIC2012-Article-compromission_application_bancaire_javacard-lancia_1.pdf http://www.academypublisher.com/jcp/vol04/no06/jcp0406502509.pdf http://gallium.inria.fr/~xleroy/publi/bytecode-verification-JAR.pdf
prop-fr:volume	7 (xsd:integer)
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Chapitre dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Article_principal
prop-fr:éditeur	IEEE (fr) Springer-Verlag (fr) ACM (fr) Kluwer Academic Publishers (fr) John Wiley & Sons, Ltd. (fr) Springer Berlin Heidelberg (fr) SpringerLink (fr) ACM New York, NY, USA ©2006 (fr) Elsevier Science Publishers Ltd. Essex, UK (fr) Sun Microsystems, Inc. (fr) IEEE (fr) Springer-Verlag (fr) ACM (fr) Kluwer Academic Publishers (fr) John Wiley & Sons, Ltd. (fr) Springer Berlin Heidelberg (fr) SpringerLink (fr) ACM New York, NY, USA ©2006 (fr) Elsevier Science Publishers Ltd. Essex, UK (fr) Sun Microsystems, Inc. (fr)
dct:subject	category-fr:Sécurité_informatique
rdfs:comment	La vérification du bytecode d'applications Java Card est utilisée pour assurer la sécurité en termes de confidentialité et d'intégrité des données. En effet, il est possible d'enregistrer, au sein de la même carte à puce, plusieurs applications, et ce même après sa fabrication. Une application malveillante installée sur une carte contenant des données sensibles ou confidentielles, comme une carte de paiement bancaire, peut effectuer plusieurs actions qui pourraient mettre ces données en péril. Cette vérification permet de réduire au minimum les risques. (fr) La vérification du bytecode d'applications Java Card est utilisée pour assurer la sécurité en termes de confidentialité et d'intégrité des données. En effet, il est possible d'enregistrer, au sein de la même carte à puce, plusieurs applications, et ce même après sa fabrication. Une application malveillante installée sur une carte contenant des données sensibles ou confidentielles, comme une carte de paiement bancaire, peut effectuer plusieurs actions qui pourraient mettre ces données en péril. Cette vérification permet de réduire au minimum les risques. (fr)
rdfs:label	Vérification de bytecode Java Card (fr) Vérification de bytecode Java Card (fr)
owl:sameAs	wikidata:Q3564234 http://g.co/kg/g/11h1tcq_d
prov:wasDerivedFrom	wikipedia-fr:Vérification_de_bytecode_Java_Card?oldid=168278991&ns=0
foaf:depiction	wiki-commons:Special:FilePath/On_card_verification.png
foaf:isPrimaryTopicOf	wikipedia-fr:Vérification_de_bytecode_Java_Card
is dbo:wikiPageWikiLink of	dbpedia-fr:Carte_à_puce
is oa:hasTarget of	tag-fr:WdtFrResource
is foaf:primaryTopic of	wikipedia-fr:Vérification_de_bytecode_Java_Card

About: http://fr.dbpedia.org/resource/Vérification_de_bytecode_Java_Card