Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2005-04-19
2005-04-19
Das, Chameli (Department: 2122)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S124000, C717S175000, C714S100000, C714S038110, C713S155000
Reexamination Certificate
active
06883163
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, disabling subsequent installation of content on the resource-constrained device, and issuing the resource-constrained device to an end user. The at least one content provider includes an applet provider, a device manufacturer, and a device issuer. 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.
REFERENCES:
patent: 5022028 (1991-06-01), Edmonds et al.
patent: 5408665 (1995-04-01), Fitzgerals
patent: 5446901 (1995-08-01), Owicki et al.
patent: 5490249 (1996-02-01), Miller
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: 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: 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: 6466947 (2002-10-01), Arnold et al.
patent: 6477666 (2002-11-01), Sanchez et al.
patent: 6477702 (2002-11-01), Yellin 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: 20020040936 (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: 9837526 (1998-02-01), None
patent: WO 9819237 (1998-05-01), None
patent: WO 98521258 (1998-05-01), None
patent: WO 98 43212 (1998-10-01), None
patent: WO 0000890 (2000-01-01), None
patent: WO 0025278 (2000-05-01), None
patent: WO 0046666 (2000-08-01), None
patent: WO 0114958 (2001-03-01), None
Title: JRes: A Resource Accounting Interface for Java, author: Grzegorz Czjkowski et al, ACM, 1998.*
Title: Automated Modular Specification and Verification of Real-Time Reactive Systems, author: Ostroff et al, IEEE, 1995.*
Title: Verifying Programs with Unreliable Channels, author: Abdulla et al, IEEE, 1993.*
Title: A Security Architecture for Computational Grids, author Foster et al, ACM, 1998.*
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.*
Zhao, Jianjun, “Applying Program Dependence Analysis To Java Software”, Department of Computer Science and Engineering, pp. 1-8.
George E. Nocula, et al., “Proof-Carrying Code”, Nov. 1996, pp. 1-60.
Joachim Posegga, et al., “Byte Code Verification for Java Smart Cards Based on Model Checking”, Sep. 16-18, 1998, pp. 176-190.
Chan, “Infrastructure of Multi-Application Smart Card”, http.//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”,Javal, 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.
Daniels, John et al., “Stategies For Sharing Objects in Distributed Systems”, JOOP,Object Designeres Ltd., UK, pp. 27-36.
David Basin “Java Bytecode Verification by Model Checking” System Abstract, pp. 492-495 IT-Research Security (TZ/FE34).
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.
Das Chameli
Gunnison McKay & Hodgson, L.L.P.
Sun Microsystems Inc.
LandOfFree
Populating resource-constrained devices with content... 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 resource-constrained devices with content..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Populating resource-constrained devices with content... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3375816