文献

J-GLOBAL ID：200902197391676151   整理番号：03A0084448

一階述語論理を用いた脆弱性診断ツール

A Vulnerability Assessment Tool Using First-Order Predicate Logic.

著者 (6件)： 河内清人 (三菱電機 情報技総研) ,  北沢繁樹 (三菱電機 情報技総研) ,  中野初美 (三菱電機 情報技総研) ,  大越丈弘 (三菱電機 情報技総研) ,  藤井誠司 (三菱電機 情報技総研) ,  河木理一 (三菱電機 通信機製作所)
資料名： 情報処理学会研究報告  (IPSJ SIG Technical Reports)
巻： 2002  号： 122(CSEC-19)  ページ： 43-48  発行年： 2002年12月20日 
JST資料番号： Z0031B  ISSN： 0919-6072  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： サイトの脆弱性診断では一般的にセキュリティスキャナを用いてセ...

シソーラス用語： *コンピュータセキュリティ ,...
準シソーラス用語： *WWW【通信】 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=03A0084448&from=J-GLOBAL&jstjournalNo=Z0031B") }}

分類 (2件)： データ保護  (JD01020V) ,  人工知能  (JE08000Z)

引用文献 (5件)：

• Internet Security Systems, Inc. http://www.iss.net/
• Nessus.org. http://www.nessus.org/
• 河内. ハッキング手順模擬機能を有するセキュリティホール診断ツールの実装と評価. 情報処理学会第62回全国大会
• Prolog への入門
• WALL, Larry. Programming Perl

タイトルに関連する用語 (3件)： 一階述語論理 ,  脆弱性診断 ,  ツール