Towards a full formal specification of the javacard API

被引：0
|
作者：
Computing Science Institute, University of Nijmegen, Toernooiveld 1, ED, Nijmegen, Netherlands [1 ]
机构：
来源：
Lect. Notes Comput. Sci. | / 165-178期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Formal specification
引用
收藏
相关论文
共 50 条
  • [1] Specification of the Java']JavaCard API in JML -: Towards formal specification and verification of applets and API implementations
    Poll, E
    van den Berg, J
    Jacobs, B
    SMART CARD RESEARCH AND ADVANCED APPLICATIONS, 2000, 52 : 135 - 154
  • [2] Formal specification of the Java']JavaCard API in JML: the APDU class
    Poll, E
    van den Berg, J
    Jacobs, B
    COMPUTER NETWORKS, 2001, 36 (04) : 407 - 421
  • [3] Formal specification and verification of Java']JavaCard's application identifier class
    van den Berg, J
    Jacobs, B
    Poll, E
    JAVA ON SMART CARDS: PROGRAMMING AND SECURITY, 2001, 2041 : 137 - 150
  • [4] Formal API Specification of the PikeOS Separation Kernel
    Verbeek, Freek
    Havle, Oto
    Schmaltz, Julien
    Tverdyshev, Sergey
    Blasum, Holger
    Langenstein, Bruno
    Stephan, Werner
    Wolff, Burkhart
    Nemouchi, Yakoub
    NASA FORMAL METHODS (NFM 2015), 2015, 9058 : 375 - 389
  • [5] Towards a formal specification for the AgentComponent
    Meier, P
    Wirsing, M
    OBJECTS, AGENTS, AND FEATURES, 2004, 2975 : 175 - 188
  • [6] Poster: Towards a Formal API Assessment
    Zghidi, Amir
    Hammouda, Imed
    Hnich, Brahim
    PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, 2018, : 398 - 399
  • [7] TOWARDS A FORMAL SPECIFICATION OF FLOATING POINT
    WICHMANN, BA
    COMPUTER JOURNAL, 1989, 32 (05): : 432 - 436
  • [8] Towards a Formal Specification of SLAs with Compensations
    Mueller, Carlos
    Gutierrez, Antonio M.
    Martin-Diaz, Octavio
    Resinas, Manuel
    Fernandez, Pablo
    Ruiz-Cortes, Antonio
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2014 CONFERENCES, 2014, 8841 : 295 - 312
  • [9] A formal executable semantics of the javacard platform
    Barthe, Gilles
    Dufay, Guillaume
    Jakubiec, Line
    Serpette, Bernard
    de Sousa, Simâo Melo
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001, 2028 : 302 - 319
  • [10] Towards formal specification and generation of autonomic policies
    Sterritt, R
    Hinchey, MG
    Rash, JL
    Truszkowski, W
    Rouff, CA
    Gracanin, D
    EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005 WORKSHOPS, PROCEEDINGS, 2005, 3823 : 1245 - 1254
12345