Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2005-12-27
2005-12-27
Das, Chameli C. (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S124000, C717S175000, C714S100000, C714S038110, C713S155000
Reexamination Certificate
active
06981245
ABSTRACT:
Remote incremental program verification may be achieved by receiving content verified by at least one content provider, installing the content on a resource-constrained device, issuing the resource-constrained device to an end user, and allowing post-issuance installation of verified content on the resource-constrained device by a trusted post-issuance installer. The at least one content provider includes an applet provider, a device manufacturer, a device issuer, and a trusted post-issuance installer. The content includes at least one program unit, where each program unit comprises an Application Programming Interface (API) definition file and an implementation. Each API definition file defines items in its associated program unit that are made accessible to one or more other program units, and each implementation includes executable code corresponding to the API definition file. The executable code includes type-specific instructions and data. The verification includes determining binary compatibility of earlier program unit implementations with later program unit implementations.
REFERENCES:
patent: 5022028 (1991-06-01), Edmonds et al.
patent: 5313616 (1994-05-01), Cline et al.
patent: 5408665 (1995-04-01), Fitzgerald
patent: 5446901 (1995-08-01), Owicki et al.
patent: 5490249 (1996-02-01), Miller
patent: 5565316 (1996-10-01), Kershaw et al.
patent: 5613101 (1997-03-01), Lillich
patent: 5615137 (1997-03-01), Holzmann et al.
patent: 5652835 (1997-07-01), Miller
patent: 5668999 (1997-09-01), Gosling
patent: 5701408 (1997-12-01), Cornell et al.
patent: 5724272 (1998-03-01), Mitchell et al.
patent: 5748964 (1998-05-01), Gosling
patent: 5748980 (1998-05-01), Lipe et al.
patent: 5761510 (1998-06-01), Smith et al.
patent: 5884316 (1999-03-01), Bernstein et al.
patent: 5907704 (1999-05-01), Gudmundson et al.
patent: 5925140 (1999-07-01), Hudson
patent: 5966702 (1999-10-01), Fresko et al.
patent: 5974255 (1999-10-01), Gossain et al.
patent: 5999731 (1999-12-01), Yellin et al.
patent: 6002871 (1999-12-01), Duggan et al.
patent: 6005942 (1999-12-01), Chan et al.
patent: 6011918 (2000-01-01), Cohen et al.
patent: 6038378 (2000-03-01), Kita et al.
patent: 6052732 (2000-04-01), Gosling
patent: 6058393 (2000-05-01), Meier et al.
patent: 6067639 (2000-05-01), Rodrigues et al.
patent: 6075940 (2000-06-01), Gosling
patent: 6092147 (2000-07-01), Levy et al.
patent: 6125442 (2000-09-01), Maves et al.
patent: 6138112 (2000-10-01), Slutz
patent: 6178504 (2001-01-01), Fieres et al.
patent: 6182158 (2001-01-01), Kougiouris et al.
patent: 6202070 (2001-03-01), Nguyen et al.
patent: 6205579 (2001-03-01), Southgate
patent: 6212633 (2001-04-01), Levy et al.
patent: 6230312 (2001-05-01), Hunt
patent: 6230314 (2001-05-01), Sweeney et al.
patent: 6230318 (2001-05-01), Halstead et al.
patent: 6243859 (2001-06-01), Chen-Kuang
patent: 6247171 (2001-06-01), Yellin et al.
patent: 6262492 (2001-07-01), Sheng
patent: 6272674 (2001-08-01), Holiday, Jr.
patent: 6347398 (2002-02-01), Parthasarathy et al.
patent: 6349344 (2002-02-01), Sauntry et al.
patent: 6360334 (2002-03-01), Kavanagh et al.
patent: 6363488 (2002-03-01), Ginter et al.
patent: 6370686 (2002-04-01), Delo et al.
patent: RE37722 (2002-05-01), Burnard et al.
patent: 6389467 (2002-05-01), Eyal
patent: 6405309 (2002-06-01), Cheng et al.
patent: 6418554 (2002-07-01), Delo et al.
patent: 6425118 (2002-07-01), Molloy et al.
patent: 6427227 (2002-07-01), Chamberlain
patent: 6434744 (2002-08-01), Chamberlain et al.
patent: 6466947 (2002-10-01), Arnold et al.
patent: 6477666 (2002-11-01), Sanchez et al.
patent: 6477702 (2002-11-01), Yellin et al.
patent: 6519767 (2003-02-01), Carter et al.
patent: 6526571 (2003-02-01), Aizikowitz et al.
patent: 6539539 (2003-03-01), Larsen et al.
patent: 6668289 (2003-12-01), Cheng et al.
patent: 6708324 (2004-03-01), Solloway et al.
patent: 6721941 (2004-04-01), Morshed et al.
patent: 6742177 (2004-05-01), Dorak et al.
patent: 6748555 (2004-06-01), Teegan et al.
patent: 2002/0040936 (2002-04-01), Wentker et al.
patent: 0 292 248 (1988-05-01), None
patent: 0 498 130 (1991-12-01), None
patent: 0 685 792 (1995-05-01), None
patent: 0 718 761 (1995-12-01), None
patent: 0 778 520 (1996-11-01), None
patent: 0 778 520 (1996-11-01), None
patent: 98/37526 (1998-02-01), None
patent: WO 98/19237 (1998-05-01), None
patent: WO 98/521258 (1998-05-01), None
patent: 98/4312 (1998-10-01), None
patent: WO 00/00890 (2000-01-01), None
patent: WO 00/25278 (2000-05-01), None
patent: WO 0/25278 (2000-05-01), None
patent: WO 00/46666 (2000-08-01), None
patent: WO 01/14958 (2001-03-01), None
TITLE: Java resources for computer science instruction, author: Bergin et al, ACM, Dec. 1998.
TITLE: Java based conservative distributed simulation , author: Alois Ferscha , Michael Richter, ACM, Dec. 1997.
TITLE: A Security Architecture for Computation Grids, author Foster et al, ACM, 1998.
David Basin “Java Bytecode Verification by Model Checking” System Abstract, pp. 492-495 IT-Research Security (TZ/FE34).
Daniels, John et al., “Strategies For Sharing Objects In Distributed Systems”, JOOP,Object Designers Ltd., UK, pp. 27-36.
Chan, “Infrastructure of Multi-Application Smart Card”, http://www.home.hkstar.com/˜alanchan/papers.multiApplicationsSmartCard/, Jul. 25, 2002.
Chen, Zhiqun, “Java Card™ Technology for Smart Cards”,Sun Microsystems, pp. 11-16, Jun. 2000.
Ritchey, Tim, “Advanced Topics: The Java Virtual Machine”,Java!, Chapter 14, pp. 25-346, Sep. 22, 1995.
Sun Microsystems, Inc., “Java Card™2.0 Language Subset and Virtual Machine Specification”, Oct. 13, 1997, Revision 1.0 Final.
Sun Microsystems, Inc., “Java Card™ 2.0 Programming Concepts”, Oct. 15, 1997, Revision 1.0 Final.
“Sun Delivers On Vision to Bring JAVA Technology to the Consumer and Embedded Market”, Business Wire, Sep. 28, 1999.
“Sun Microsystems Announces JAVACARD API”, Business Wire, Oct. 1996.
Sun Microsystems: “Sun's Java Technology Leads Open Worldwide Market for Smart Cards”, M2, Presswire, May 1999.
Bowles et al., “A Comparison of Commerical Reliability Prediction Programs”,Proceedings Annual Reliability and Maintainability Symposium, IEEE, pp. 450-455 (1990).
Cooper, Richard, “Persistant Languages Facilitate the Implementation of Software Version Management”,IEEE, pp. 56-65 (1989).
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).
Suresh Subramanian, “CRUISE: Using Interface Hierarchies to Support Software Evolution”, IEEE, 1988, pp. 132-142.
International Search Report, PCT/US 01/28579, International filing date Sep. 12, 2001, date Search Report mailed- Jan. 5, 2004.
International Search Report, PCT/US 01/28688, International filing date Sep. 14, 2001, date Search report mailed- Jan. 5, 2004.
Ferscha et al., “Java Based Conservative Distributed Simulation”, Proceedings of the 1997 Winter Simulation Conference, pp. 381-388 (1997).
International Preliminary Examination Report, PCT/US01/28687, International filing date Sep. 14, 2001, date Search Report mailed Jan. 5, 2004.
George E. Necula, et al., “Proof-Carrying Code”, Nov. 1996, pp. 1-60.
Joachim Posegga, et al., “Byte Code Verificaton for Java Smart Cards Based on Model Checking”, Sep. 16-18, 1998, pp. 176-190.
Czajkowski, Grzegorz et al., “JRes: A Resource Accounting Interface for Java”, pp. 21-35, ACM, Vancouver, B.C., 1998.
Ostroff, Jonathan S., “Automated Modular Specification and Verification of Real-Time Reactive Systems”, pp. 108-121, IEEE, 1995.
Abdulla, Parosh et al., “Verifying Programs with Unreliable Channels”, pp. 160-170, IEEE, 1993.
Das Chameli C.
Gunnison McKay & Hodgson, L.L.P.
Sun Microsystems Inc.
LandOfFree
Populating binary compatible resource-constrained devices... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Populating binary compatible resource-constrained devices..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Populating binary compatible resource-constrained devices... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3492940