JP2003036188A5 - - Google Patents

Download PDF

Info

Publication number
JP2003036188A5
JP2003036188A5 JP2002138053A JP2002138053A JP2003036188A5 JP 2003036188 A5 JP2003036188 A5 JP 2003036188A5 JP 2002138053 A JP2002138053 A JP 2002138053A JP 2002138053 A JP2002138053 A JP 2002138053A JP 2003036188 A5 JP2003036188 A5 JP 2003036188A5
Authority
JP
Japan
Prior art keywords
type
signature
code
instructions
signatures
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
JP2002138053A
Other languages
English (en)
Japanese (ja)
Other versions
JP2003036188A (ja
Filing date
Publication date
Priority claimed from US09/871,778 external-priority patent/US7036111B2/en
Application filed filed Critical
Publication of JP2003036188A publication Critical patent/JP2003036188A/ja
Publication of JP2003036188A5 publication Critical patent/JP2003036188A5/ja
Pending legal-status Critical Current

Links

JP2002138053A 2001-06-01 2002-05-14 コード検証システム Pending JP2003036188A (ja)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US09/871,778 2001-06-01
US09/871,778 US7036111B2 (en) 2001-06-01 2001-06-01 Code verification system and method

Publications (2)

Publication Number Publication Date
JP2003036188A JP2003036188A (ja) 2003-02-07
JP2003036188A5 true JP2003036188A5 (https=) 2005-09-08

Family

ID=25358102

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2002138053A Pending JP2003036188A (ja) 2001-06-01 2002-05-14 コード検証システム

Country Status (3)

Country Link
US (1) US7036111B2 (https=)
EP (1) EP1262874A3 (https=)
JP (1) JP2003036188A (https=)

Families Citing this family (19)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6986128B2 (en) * 2000-01-07 2006-01-10 Sony Computer Entertainment Inc. Multiple stage program recompiler and method
FR2849226B1 (fr) * 2002-12-20 2005-12-02 Oberthur Card Syst Sa Procede et dispositif de securisation de l'execution d'un programme informatique.
US7320129B2 (en) * 2003-05-14 2008-01-15 Hewlett-Packard Development Company, L.P. Native language verification system and method
US7739737B2 (en) * 2003-07-29 2010-06-15 Wisconsin Alumni Research Foundation Method and apparatus to detect malicious software
US7421680B2 (en) * 2003-09-22 2008-09-02 Microsoft Corporation Persisted specifications of method pre-and post-conditions for static checking
FR2864655B1 (fr) * 2003-12-31 2006-03-24 Trusted Logic Procede de controle d'integrite de programmes par verification d'empreintes de traces d'execution
US7287243B2 (en) * 2004-01-06 2007-10-23 Hewlett-Packard Development Company, L.P. Code verification system and method
US9177153B1 (en) 2005-10-07 2015-11-03 Carnegie Mellon University Verifying integrity and guaranteeing execution of code on untrusted computer platform
US8495578B2 (en) * 2005-12-19 2013-07-23 International Business Machines Corporation Integrated software development system, method for validation, computer arrangement and computer program product
US7506217B2 (en) * 2005-12-30 2009-03-17 Intel Corporation Apparatus and method for software-based control flow checking for soft error detection to improve microprocessor reliability
US20070240114A1 (en) * 2006-03-30 2007-10-11 Ugs Corp. Testing Transformed Interfaces
US20080127128A1 (en) * 2006-10-30 2008-05-29 Daniel Mateescu Type Validation for Applications Incorporating A Weakly-Typed Language
US8689194B1 (en) 2007-08-20 2014-04-01 The Mathworks, Inc. Optimization identification
US8756579B1 (en) * 2007-12-03 2014-06-17 Appcelerator, Inc. Client-side and server-side unified validation
US8516260B2 (en) * 2008-10-27 2013-08-20 Advanced Micro Devices, Inc. Method, apparatus, and device for providing security among a calling function and a target function
JP2012238235A (ja) * 2011-05-12 2012-12-06 Canon Inc プログラム検証装置及びプログラム
JP5667948B2 (ja) * 2011-09-06 2015-02-12 株式会社東芝 プログラム検査装置
EP2787437A1 (de) * 2013-04-03 2014-10-08 Realtime Technology AG Verfahren zur Überprüfung und/oder Transformation eines Computerprogramms mit statischen Funktionen erster Klasse
US9710263B2 (en) * 2013-09-26 2017-07-18 International Business Machines Corporation Understanding computer code with human language assistance

Family Cites Families (17)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4819233A (en) * 1987-04-08 1989-04-04 Westinghouse Electric Corp. Verification of computer software
US5729676A (en) 1993-12-10 1998-03-17 Nec Corporation Method of generating data for evaluating programs
US5668999A (en) 1994-12-20 1997-09-16 Sun Microsystems, Inc. System and method for pre-verification of stack usage in bytecode program loops
US5748964A (en) 1994-12-20 1998-05-05 Sun Microsystems, Inc. Bytecode program interpreter apparatus and method with pre-verification of data type restrictions
US5958051A (en) * 1996-11-27 1999-09-28 Sun Microsystems, Inc. Implementing digital signatures for data streams and data archives
US6802061B1 (en) * 1996-12-12 2004-10-05 Microsoft Corporation Automatic software downloading from a computer network
US6092147A (en) * 1997-04-15 2000-07-18 Sun Microsystems, Inc. Virtual machine with securely distributed bytecode verification
US6026016A (en) * 1998-05-11 2000-02-15 Intel Corporation Methods and apparatus for hardware block locking in a nonvolatile memory
US6546546B1 (en) * 1999-05-19 2003-04-08 International Business Machines Corporation Integrating operating systems and run-time systems
JP3404322B2 (ja) 1999-05-25 2003-05-06 株式会社エルミックシステム 割込処理方法、ｏｓ支援システム、情報処理装置、記録媒体
US6601114B1 (en) * 1999-05-27 2003-07-29 Sun Microsystems, Inc. Fully lazy linking with module-by-module verification
US6618769B1 (en) * 1999-05-27 2003-09-09 Sun Microsystems, Inc. Module-by-module verification
US6766521B1 (en) * 1999-05-27 2004-07-20 Sun Microsystems, Inc. Dataflow algorithm for symbolic computation of lowest upper bound type
DE19926467C1 (de) * 1999-06-10 2001-01-11 Siemens Ag Verfahren zum Betreiben eines Computersystems, Bytecode-Verifier und Computersystem
US6594783B1 (en) * 1999-08-27 2003-07-15 Hewlett-Packard Development Company, L.P. Code verification by tree reconstruction
US6560774B1 (en) * 1999-09-01 2003-05-06 Microsoft Corporation Verifier to check intermediate language
US6581159B1 (en) * 1999-12-23 2003-06-17 Intel Corporation Secure method of updating bios by using a simply authenticated external module to further validate new firmware code

Similar Documents

Publication Publication Date Title
JP2003036188A5 (https=)
US20020184504A1 (en) Combined digital signature
WO2008044004A3 (en) Improvements relating to the detection of patterns
WO2002057742A3 (en) Method for self-validation of molecular modeling
CA2716266A1 (en) Content based audio copy detection
Qu et al. An innovative ensemble model based on multiple neural networks and a novel heuristic optimization algorithm for COVID-19 forecasting
JP2012237700A (ja) 流量計測装置
WO2006031401A3 (en) Reliable elliptic curve cryptography computation
JP2006134284A (ja) データ生成方法
JP2003036188A (ja) コード検証システム
WO2008005637A3 (en) Hybrid assessment tool, and systems and methods of quantifying risk
Schreiber Trusted scalable SAT solving with on-the-fly LRAT checking
US20090313638A1 (en) Correlated message identifiers for events
WO2005003972A3 (de) Verfahren zu überprüfung der sicherheit und zuverlässigkeit softwarebasierter elektronischer systeme
CN103729297A (zh) 一种基于分层遗传算法的测试用例生成方法
CN118869153A (zh) 一种基于fec编码方向的调度和流量控制方法
CN101526893B (zh) 一种超长指令字指令并行执行方法及装置
CN104731692B (zh) 监控持续集成状态的方法及装置
CN104699881A (zh) 一种用于惯导系统的imu数字滤波设计方法
WO2002067119A3 (de) Verfahren und anordnung zur ermittlung einer gesamtfehlerbeschreibung zumindest eines teils eines technischen systems, computer programm-element und computerlesbares speichermedium
JP2010117994A (ja) 検査システム
JP4561998B2 (ja) 配列範囲外アクセス検出方式及び方法
CN119363317B (zh) 共识节点的确定方法、装置和区块链系统
Sun et al. BDD based detection algorithm for XOR-type logic
CN112433930A (zh) 基于信息摘要值实现的程序结果校验方法