JP4913353B2 - ソフトウェア動作モデル化装置及びソフトウェア動作監視装置 - Google Patents

ソフトウェア動作モデル化装置及びソフトウェア動作監視装置 Download PDF

Info

Publication number
JP4913353B2
JP4913353B2 JP2005089891A JP2005089891A JP4913353B2 JP 4913353 B2 JP4913353 B2 JP 4913353B2 JP 2005089891 A JP2005089891 A JP 2005089891A JP 2005089891 A JP2005089891 A JP 2005089891A JP 4913353 B2 JP4913353 B2 JP 4913353B2
Authority
JP
Japan
Prior art keywords
model
software
instruction
storage unit
unit
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.)
Expired - Fee Related
Application number
JP2005089891A
Other languages
English (en)
Japanese (ja)
Other versions
JP2006268775A5 (de
JP2006268775A (ja
Inventor
晃 金野
雄大 中山
敦 竹下
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
NTT Docomo Inc
Original Assignee
NTT Docomo Inc
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by NTT Docomo Inc filed Critical NTT Docomo Inc
Priority to JP2005089891A priority Critical patent/JP4913353B2/ja
Publication of JP2006268775A publication Critical patent/JP2006268775A/ja
Publication of JP2006268775A5 publication Critical patent/JP2006268775A5/ja
Application granted granted Critical
Publication of JP4913353B2 publication Critical patent/JP4913353B2/ja
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Landscapes

  • Debugging And Monitoring (AREA)
JP2005089891A 2005-03-25 2005-03-25 ソフトウェア動作モデル化装置及びソフトウェア動作監視装置 Expired - Fee Related JP4913353B2 (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2005089891A JP4913353B2 (ja) 2005-03-25 2005-03-25 ソフトウェア動作モデル化装置及びソフトウェア動作監視装置

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2005089891A JP4913353B2 (ja) 2005-03-25 2005-03-25 ソフトウェア動作モデル化装置及びソフトウェア動作監視装置

Publications (3)

Publication Number Publication Date
JP2006268775A JP2006268775A (ja) 2006-10-05
JP2006268775A5 JP2006268775A5 (de) 2008-05-08
JP4913353B2 true JP4913353B2 (ja) 2012-04-11

Family

ID=37204621

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2005089891A Expired - Fee Related JP4913353B2 (ja) 2005-03-25 2005-03-25 ソフトウェア動作モデル化装置及びソフトウェア動作監視装置

Country Status (1)

Country Link
JP (1) JP4913353B2 (de)

Families Citing this family (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2008129714A (ja) * 2006-11-17 2008-06-05 Univ Of Tsukuba 異常検知方法、異常検知装置及び異常検知用プログラム並びに学習モデル生成方法
JP4962026B2 (ja) * 2007-01-31 2012-06-27 日本電気株式会社 プロセス管理機能をもつユーザレベルプロセス制御装置、その方法及びそのプログラム
JP5081480B2 (ja) * 2007-03-28 2012-11-28 株式会社エヌ・ティ・ティ・ドコモ ソフトウェア挙動モデル化装置、ソフトウェア挙動モデル化方法、ソフトウェア挙動検証装置及びソフトウェア挙動検証方法
US8099718B2 (en) * 2007-11-13 2012-01-17 Intel Corporation Method and system for whitelisting software components
JP5714543B2 (ja) * 2012-08-23 2015-05-07 トヨタ自動車株式会社 自己監視機能を備えたコンピュータ、監視プログラム
JP6892005B2 (ja) * 2018-03-01 2021-06-18 日本電気株式会社 情報処理装置、制御方法、及びプログラム

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2004185345A (ja) * 2002-12-04 2004-07-02 Hitachi Ltd デバッグ方法およびシステム

Also Published As

Publication number Publication date
JP2006268775A (ja) 2006-10-05

Similar Documents

Publication Publication Date Title
JP4732874B2 (ja) ソフトウェア動作モデル化装置、ソフトウェア動作監視装置、ソフトウェア動作モデル化方法及びソフトウェア動作監視方法
Cheng et al. Orpheus: Enforcing cyber-physical execution semantics to defend against data-oriented attacks
US10242043B2 (en) Software security via control flow integrity checking
US10387655B2 (en) Method, system and product for using a predictive model to predict if inputs reach a vulnerability of a program
Xu et al. A sharper sense of self: Probabilistic reasoning of program behaviors for anomaly detection with context sensitivity
JP5090661B2 (ja) ソフトウェア動作モデル化装置、ソフトウェア動作監視装置、ソフトウェア動作モデル化方法及びソフトウェア動作監視方法
EP3566166B1 (de) Verwaltung von sicherheitsschwachstellen
CN106326737B (zh) 用于检测可在虚拟堆栈机上执行的有害文件的系统和方法
WO2008055156A2 (en) Methods, media, and systems for detecting an anomalous sequence of function calls
EP3121749B1 (de) Verfahren und vorrichtung zur sicherstellung der steuerflussintegrität
JP4913353B2 (ja) ソフトウェア動作モデル化装置及びソフトウェア動作監視装置
US12093398B2 (en) Vulnerability analysis and reporting for embedded systems
CN109271789B (zh) 恶意进程检测方法、装置、电子设备及存储介质
CN110851352A (zh) 一种模糊测试系统及终端设备
JP5868515B2 (ja) シグニチャ検証装置及びシグニチャ検証方法及びプログラム
CN117076301A (zh) 系统性能测试方法、装置及电子设备
EP3812940B1 (de) Schwachstellen-analysator
Kim et al. Source code analysis for static prediction of dynamic memory usage
WO2020109252A1 (en) Test system and method for data analytics
CN117909956B (zh) 一种硬件辅助的嵌入式系统程序控制流安全认证方法
US11989296B2 (en) Program execution anomaly detection for cybersecurity
Mohamed et al. A control flow representation for component-based software reliability analysis
CN110909351B (zh) 硬件协助的控制结构不变式挖掘方法
JP2007041777A (ja) 言語処理方法
Yagemann Hardware-Assisted Processor Tracing for Automated Bug Finding and Exploit Prevention.

Legal Events

Date Code Title Description
A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20080321

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20080321

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20110628

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20110829

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20120110

A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20120119

R150 Certificate of patent or registration of utility model

Ref document number: 4913353

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150

Free format text: JAPANESE INTERMEDIATE CODE: R150

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20150127

Year of fee payment: 3

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

LAPS Cancellation because of no payment of annual fees