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 (enExample
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
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

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 (enExample) 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 (enExample)

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 トヨタ自動車株式会社 自己監視機能を備えたコンピュータ、監視プログラム
WO2019167225A1 (ja) * 2018-03-01 2019-09-06 日本電気株式会社 情報処理装置、制御方法、及びプログラム

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
Xu et al. A sharper sense of self: Probabilistic reasoning of program behaviors for anomaly detection with context sensitivity
EP3566166B1 (en) Management of security vulnerabilities
EP3121749B1 (en) Method and apparatus for ensuring control flow integrity
WO2007119781A1 (ja) ソフトウェア動作モデル化装置、ソフトウェア動作監視装置、ソフトウェア動作モデル化方法及びソフトウェア動作監視方法
KR101640479B1 (ko) 소스코드기반 소프트웨어 취약점 공격행위 분석시스템
CN109271789B (zh) 恶意进程检测方法、装置、电子设备及存储介质
CN110851352A (zh) 一种模糊测试系统及终端设备
JP5868515B2 (ja) シグニチャ検証装置及びシグニチャ検証方法及びプログラム
JP4913353B2 (ja) ソフトウェア動作モデル化装置及びソフトウェア動作監視装置
CN117909956B (zh) 一种硬件辅助的嵌入式系统程序控制流安全认证方法
JP5679347B2 (ja) 障害検知装置、障害検知方法、及びプログラム
Hua et al. Efficient Context-Sensitive Intrusion Detection Based on State Transition Table
US11989296B2 (en) Program execution anomaly detection for cybersecurity
Mohamed et al. A control flow representation for component-based software reliability analysis
WO2020109252A1 (en) Test system and method for data analytics
US20250141910A1 (en) Data processing device, data processing method, and recording medium
CN120850258A (zh) 终端安防产品的检测方法、装置、设备和存储介质
CN117852041A (zh) 漏洞检测样本的防御机制突破功能识别与迁移方法和系统
CN120509035A (zh) 一种代码测试方法、装置、电子设备及可读存储介质
CN119210879A (zh) 一种基于拟态防御的网络安全防护方法和系统
Gao Gray-box anomaly detection using system call monitoring
JP2007041777A (ja) 言語処理方法

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