SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Computer Networks

Volumn 36, Issue 4, 2001, Pages 407-421

Formal specification of the JavaCard API in JML: The APDU class

(3) Poll, Erik a Van den Berg, Joachim a Jacobs, Bart a

a RADBOUD UNIVERSITY NIJMEGEN (Netherlands)

Author keywords

Formal specification; JavaCard; Smart card

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; FORMAL LANGUAGES; INTERFACES (COMPUTER); JAVA PROGRAMMING LANGUAGE;

APPLICATION PROGRAMMING INTERFACE (API);

SMART CARDS;

EID: 0035898898 PISSN: 13891286 EISSN: None Source Type: Journal
DOI: 10.1016/S1389-1286(01)00163-3 Document Type: Article

Times cited : (22)

References (18)

1
- 84976766710
- Ten years of Hoare's logic: A survey - Part I
- (1981) ACM Transactions on Programming Languages and Systems , vol.3 , Issue.4 , pp. 431-483
- Apt, K.R.¹

2
- 84947268630
- A type-theoretic memory model for verification of sequential Java programs
- D. Bert, C. Choppy (Eds), Springer, Berlin
- (2000) Recent Trends in Algebraic Development Techniques (WADT'99), Lecture Notes in Computer Science , vol.1827
- Van den Berg, J.¹ Huisman, M.² Jacobs, B.³ Poll, E.⁴

3
- 0004780596
- Formal specification and verification of JavaCard's application identifier class
- I. Attali, T. Jensen (Eds.), INRIA, Sophia Antipolis
- (2000) JavaCard Workshop (JCW'2000)
- Van den Berg, J.¹ Jacobs, B.² Poll, E.³

4
- 0003848372
- Addison-Wesley, Reading, MA
- (2000) Java Card Technology for Smart Cards: Architecture and Programmer's Guide
- Chen, Z.¹

5
- 0004748071
- Extended static checker ESC/Java, Compaq System Reserch Center

6
- 84945313759
- Java program verification via a Hoare logic with abrupt termination
- T. Maibaum (Ed.), Springer, Berlin
- (2000) Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science , vol.1783 , pp. 284-303
- Huisman, M.¹ Jacobs, B.²

7
- 0004746649
- A case study in class library verification: Java's Vector class
- to appear
- Software Tools for Technology Transfer
- Huisman, M.¹ Jacobs, B.² Van den Berg, J.³

8
- 0348137518
- Reasoning about classes in Java (preliminary report)
- ACM Press, New York
- (1998) Object-oriented Programming, Systems, Languages and Applications (OOPSLA) , pp. 329-340
- Jacobs, B.¹ Van den Berg, J.² Huisman, M.³ Van Berkum, M.⁴ Hensel, U.⁵ Tews, H.⁶

9
- 0004775897
- (2000) The Java Card 2.1.1 Application Programming Interface (API), Sun Microsystems

10
- 0000913573
- JML: A notation for detailed design
- H. Kilov, B. Rumpe, I. Simmonds (Eds.), Kluwer Academic Publishers, Dordrecht
- (1999) Behavioral Specifications of Businesses and Systems , pp. 175-188
- Leavens, G.T.¹ Baker, A.L.² Ruby, C.³

11
- 0004030849
- Tech. Rep. 98-06, Dept. Comp. Sci., Iowa State University
- (1999) Preliminary design of JML: a behavioral interface specification language for Java
- Leavens, G.T.¹ Baker, A.L.² Ruby, C.³

12
- 84885236249
- JML: Notations and tools supporting detailed design in Java
- Tech. Rep. TR00-15, Dept. Computer Science, Iowa State University, August 2000
- (2000) OOPSLA'2000 Companion, ACM
- Leavens, G.T.¹ Leino, K.R.M.² Poll, E.³ Ruby, C.⁴ Jacobs, B.⁵

13
- 0003642669
- Checking Java programs via guarded commands
- B. Jacobs, G.T. Leavens, P.Müller, A. Poetzsch-Heffter (Eds.); Tech. Rep. 251, Fernuniversität Hagen; Tech. Note 1999-002, Compaq Systems Research Center, Palo Alto
- (1999) Formal Techniques for Java Programs, Proceedings of the ECOOP'99 Workshop , pp. 37-44
- Leino, K.R.M.¹ Saxe, J.B.² Stata, R.³

14
- 84888798655
- The LOOP project

15
- 0003578795
- Prentice-Hall, Englewood Cliffs, NJ
- (1997) Object-oriented Software Construction, second revised ed.
- Meyer, B.¹

16
- 84957365826
- PVS: Combining specification, proof checking, and model checking
- R. Alur, T.A. Henzinger (Eds.), Springer, Berlin
- (1996) Computer Aided Verification, Lecture Notes in Computer Science , vol.1102 , pp. 411-414
- Owre, S.¹ Rajan, S.² Rushby, J.M.³ Shankar, N.⁴ Srivas, M.⁵

17
- 0003724888
- Springer, Germany
- (1994) Isabelle: A Generic Theorem Prover, Lecture Notes in Computer Science , vol.828
- Paulson, L.C.¹

18
- 0002098311
- Specification of the JavaCard API in JML
- J. Domingo-Ferrer, D. Chan, A. Watson (Eds.), Kluwer Academic Publishers, Dordrecht
- (2000) Fourth Smart Card Research and Advanced Application Conference (CARDIS'2000) , pp. 135-154
- Poll, E.¹ Van den Berg, J.² Jacobs, B.³

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