메뉴 건너뛰기




Volumn 113, Issue SPEC. ISS., 2005, Pages 217-233

Guaranteeing Correctness Properties of a Java Card Applet

Author keywords

Code rewriting; Java byte code; Java Card; Runtime monitoring

Indexed keywords

CODE REWRITING; JAVA BYTE CODE; JAVA CARD; RUNTIME MONITORING;

EID: 11344262338     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.01.033     Document Type: Conference Paper
Times cited : (3)

References (12)
  • 1
    • 84945253453 scopus 로고    scopus 로고
    • A Formal Executable Semantics of the JavaCard Platform
    • D. Sands, LNCS
    • G. Barthe, G. Dufay, L. Jakubiec, S.M. de Sousa, and B. Serpette A Formal Executable Semantics of the JavaCard Platform D. Sands Proceedings of ESOP'01 LNCS 2028 2001 302 319 URL ftp://ftp-sop.inria.fr/lemme/Gilles.Barthe/esop01.ps. gz
    • (2001) Proceedings of ESOP'01 , vol.2028 , pp. 302-319
    • Barthe, G.1    Dufay, G.2    Jakubiec, L.3    De Sousa, S.M.4    Serpette, B.5
  • 2
    • 0012626037 scopus 로고    scopus 로고
    • Verification on infinite structures
    • J. Bergstra A. Ponse S. Smolka North Holland
    • O. Burkart, D. Caucal, F. Moller, and B. Steffen Verification on infinite structures J. Bergstra A. Ponse S. Smolka Handbook of Process Algebra 2000 North Holland 545 623
    • (2000) Handbook of Process Algebra , pp. 545-623
    • Burkart, O.1    Caucal, D.2    Moller, F.3    Steffen, B.4
  • 6
    • 84944409009 scopus 로고    scopus 로고
    • Efficient algorithms for model checking pushdown systems
    • Lecture Notes in Computer Science
    • J. Esparza, D. Hansel, P. Rossmanith, and S. Schwoon Efficient algorithms for model checking pushdown systems Proc. CAV'00 Lecture Notes in Computer Science 1855 2000 232 247
    • (2000) Proc. CAV'00 , vol.1855 , pp. 232-247
    • Esparza, J.1    Hansel, D.2    Rossmanith, P.3    Schwoon, S.4
  • 7
  • 8
    • 19044376057 scopus 로고    scopus 로고
    • JavaCard 2.1.1 documentation
    • Sun Microsystems
    • JavaCard 2.1.1 Documentation, Technical report, Sun Microsystems (2000), http://java.sun.com/products/javacard/discretionary-specs.html#211
    • (2000) Technical Report
  • 10
    • 11344262957 scopus 로고    scopus 로고
    • internal deliverable, VerifiCard Project, task 6.3
    • SchlumbergerSema, Java Card applet security properties, internal deliverable, VerifiCard Project, task 6.3
    • Java Card Applet Security Properties
  • 11
    • 0003970441 scopus 로고    scopus 로고
    • Enforceable security policies
    • Cornell Univ
    • Schneider, F.B., Enforceable security policies, Technical Report TR99-1759, Cornell Univ (1999)
    • (1999) Technical Report , vol.TR99-1759
    • Schneider, F.B.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.