File language verification

• US 20020093856A1
• Filed: 11/05/2001
• Published: 07/18/2002
• Est. Priority Date: 11/06/2000
• Status: Active Grant

• Current Assignee: International Business Machines Corporation
• Original Assignee: International Business Machines Corporation
• Inventors: Buhler, Peter, Eirich, Thomas, Baentsch, Michael, Hoering, Frank, Weigold, Thomas D., Oestreicher, Marcus
• Granted Patent: US 7,506,175 B2
• Time in Patent Office: Days
• US Class Current: 365/200
• CPC Class Codes: G06F 9/44589 Program code verification, e.g. Java bytecode verification, proof-carrying code high-level semantic checks G06F8/43; testing and debugging software G06F11/36
• CPC Class Codes: G11B 20/00086 Circuits for prevention of unauthorised reproduction or copying, e.g. piracy indicating unauthorised use of record carriers in general G11B23/28; scrambling for television signal recording H04N5/913; network architectures or network protocols for network security H04L63/00; cryptographic mechanisms or cryptographic arrangements for secret or secure communication H04L9/00

Claims