Data processing: software development – installation – and managem – Software program development tool – Linking
Reexamination Certificate
2007-01-16
2007-01-16
Zhen, Wei (Department: 2191)
Data processing: software development, installation, and managem
Software program development tool
Linking
Reexamination Certificate
active
10346227
ABSTRACT:
A method for program verification comprises receiving a program unit, determining data types used by the program unit, creating a first mapping for the data types and using the first mapping to represent type information in verification information for the program unit. The verification information comprises the data type of entries on an operand stack or in a register file during simulated execution of the program unit.
REFERENCES:
patent: 5421016 (1995-05-01), Conner et al.
patent: 5721781 (1998-02-01), Deo et al.
patent: 5761513 (1998-06-01), Yellin et al.
patent: 5778234 (1998-07-01), Hecht et al.
patent: 5781723 (1998-07-01), Yee et al.
patent: 5802519 (1998-09-01), De Jong
patent: 5812662 (1998-09-01), Hsu et al.
patent: 5889999 (1999-03-01), Breternitz, Jr. et al.
patent: 5930509 (1999-07-01), Yates et al.
patent: 5950009 (1999-09-01), Bortnikov et al.
patent: 5991774 (1999-11-01), Tate et al.
patent: 5999731 (1999-12-01), Yellin et al.
patent: 5999732 (1999-12-01), Bak et al.
patent: 6005942 (1999-12-01), Chan et al.
patent: 6006033 (1999-12-01), Heisch
patent: 6032137 (2000-02-01), Ballard
patent: 6052690 (2000-04-01), de Jong
patent: 6081800 (2000-06-01), Ozbutun et al.
patent: 6092147 (2000-07-01), Levy et al.
patent: 6094656 (2000-07-01), De Jong
patent: 6131159 (2000-10-01), Hecht et al.
patent: 6141681 (2000-10-01), Kyle
patent: 6202060 (2001-03-01), Tran
patent: 6205465 (2001-03-01), Schoening et al.
patent: 6223340 (2001-04-01), Detlefs
patent: 6233683 (2001-05-01), Chan et al.
patent: 6233733 (2001-05-01), Ghosh
patent: 6272674 (2001-08-01), Holiday, Jr.
patent: 6308317 (2001-10-01), Wilkinson et al.
patent: 6314562 (2001-11-01), Biggerstaff
patent: 6367012 (2002-04-01), Atkinson et al.
patent: 6463581 (2002-10-01), Bacon et al.
patent: 6481632 (2002-11-01), Wentker et al.
patent: 6487714 (2002-11-01), Azagury et al.
patent: 6526571 (2003-02-01), Aizikowitz et al.
patent: 6574618 (2003-06-01), Eylon et al.
patent: 6604114 (2003-08-01), Toong et al.
patent: 6643652 (2003-11-01), Helgeson et al.
patent: 6648821 (2003-11-01), Lebel et al.
patent: 6792536 (2004-09-01), Teppler
patent: 6807561 (2004-10-01), Lagosanto et al.
patent: 6836884 (2004-12-01), Evans et al.
patent: 6880155 (2005-04-01), Schwabe et al.
patent: 6895581 (2005-05-01), Chkodrov et al.
patent: 6931635 (2005-08-01), Inagaki et al.
patent: 6948070 (2005-09-01), Ginter et al.
patent: 6961587 (2005-11-01), Vilppula et al.
patent: 6961664 (2005-11-01), Selifonov et al.
patent: 6981212 (2005-12-01), Claussen et al.
patent: 6985956 (2006-01-01), Luke et al.
patent: 2002/0010679 (2002-01-01), Felsher
patent: 2002/0040936 (2002-04-01), Wentker et al.
patent: 2002/0093856 (2002-07-01), Baentsch et al.
patent: 2002/0144243 (2002-10-01), Alexander, III et al.
patent: 2002/0165961 (2002-11-01), Everdell et al.
patent: 2002/0174071 (2002-11-01), Boudou et al.
patent: 2003/0028742 (2003-02-01), Hameau et al.
patent: 2003/0028811 (2003-02-01), Walker et al.
patent: 2003/0062202 (2003-04-01), Parry
patent: 2003/0095690 (2003-05-01), Su et al.
patent: 2003/0229769 (2003-12-01), Montemayor
patent: 2004/0083469 (2004-04-01), Chen et al.
patent: 2004/0088562 (2004-05-01), Vassilev et al.
patent: 2005/0097550 (2005-05-01), Schwabe et al.
patent: 0 751 459 (1997-01-01), None
patent: 0 969 362 (2000-01-01), None
patent: 1 011 043 (2000-06-01), None
patent: 1 022 638 (2000-07-01), None
patent: 97/45817 (1997-12-01), None
patent: 98/19237 (1998-05-01), None
patent: WO 00/46667 (2000-08-01), None
patent: WO 01/50230 (2001-07-01), None
patent: WO 02/062007 (2002-08-01), None
patent: WO 03/003694 (2003-01-01), None
Ross Anderson et al., “A New Family of Authentication Protocols”, pp. 1-13.
Zhiqun Chen, “Java Card Technology for Smart Cards”, Jun. 2000, pp. 11-16.
Deianov Borislav, “Authentication-Lamport hash and biometrics”, Jan. 9, 2002, pp. 1-3.
Naor et al., “Universal One-Way Hash Functions and their Cryptographic Applications”, Mar. 13, 1995, pp. 1-14.
George C. Necula et al., “Proof-Carrying Code”, Nov. 1996, pp. 1-60.
George C. Necula et al., “Safe Kernal Extensions Without Run-Time Checking”, pp. 1-16.
Sun Microsystems, Inc., “Smart cards: A primer”, Apr. 22, 200., pp. 1-13.
Bowles et al., “A Comparison of Commercial Reliability Prediction Programs”,Proceedings Annual Reliability and Maintainability Symposium, IEEE, pp. 450-455.
Lindsay et al., “A Generic Model for Fine Grained Configuration Management Including Version Control and Traceability”,Proceedings of the Australian Software Engineering Conference(ASWEC'97), IEEE Computer Society, pp. 27-36 (1997).
Zhao, Jianjun “Applying Program Dependence Analysis to Java Software” Fukuoka Kogyo Daigaku Kenkyu Ronshu (Research Bulletin of Fukuoka Institute of Technology), vol. 31, No. 1, pp. 29-41 1998.
Mark Russinovich, “Inside On-Access Virus Scanners,” Windows IT PRO, Online! Sep. 1997, XP002298829.
Bauspiess, Fritz, et al., “Requirements for Cryptographic Hash Functions”,Computer&Security, vol. 11, No. 5, pp. 427-437, Elsevier Science Publishers, Amsterdam, NL, Sep. 1, 1992. (XP000296996).
Zhiqun Chen, “Technology for Smart Cards: Architecture and Programmer's Guide”, Addison Wesley, (Online) Jun. 6, 2000, (XP002305506).
Sundaresan, Vijay et al., “Practical Virtual Method Call Resolution for Java”,OOPSLA 2000. Conference on Object-Oriented Programming Systems, Languages and Applications, pp. 264-280, Minneapolis, MN, Oct. 31, 2000. (XP002336235).
R. Rivest, “The MD4 Message Digest Algorithm”, Request for Comments (RFC) 1320, MIT Laboratory for Computer Science and RSA Data Security, Inc., Apr. 1992, pp. 1-20.
R. Rivest, “The MD5 Message-Digest Algorithm”, Request for Comments (RFC) 1321 MIT Laboratory for Computer Science and RSA Data Security, Inc., Apr. 1992.
“Secure Hash Standard”, Federal Information Processing Standard Publication 180-1, Apr. 17, 1995.
“Smard Card Stage 1 Description”, Version 1.1, CDMA Development Group-Smart Card Team Document, May 22, 1996.
“Digital Cellular Telecommunications Systems(Phase 2+);AT Command Set for GSM Mobile Equipment(ME)”, ETSI TS 100 916 V7.4.0, 1998.
“Wireless Identity Module Pert: Security” Version 12, Wireless Application Protocol WAP-260-WIM-20010712-a, Jul. 2001.
“3rdGeneration Partnership Project: Technical Specification Group Terminals; USIM and IC Card Requirements(Release 4)”, 3GPP TS 21.111 V4.0.0, 2001.
“3rdGeneration Partnership Project 2: Removable User Identity Module for Spread Spectum Systems” 3GPP2 C.S0023-A, Version 1.0, Sep. 13, 2002, pp. 1-1-5-2, A1-A4.
Baase, “Computer Algorithms, Introduction to Design and Analysis”, 1988, Addison-Wesley Publishing Company, Second Edition, pp. 11-14.
Genet et al., “A Java Card CAP converter in PVS”, Sep. 26, 2002, pp. 1-59.
Deng Anna
Gunnison Forrest
Gunnison McKay & Hodgson, L.L.P.
Zhen Wei
LandOfFree
Optimized representation of data type information in program... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Optimized representation of data type information in program..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Optimized representation of data type information in program... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3801517