Rchr
J-GLOBAL ID:200901043210906486
Update date: Jan. 18, 2013
Negishi Kazuyoshi
ネギシ カズヨシ | Negishi Kazuyoshi
Research field (1):
Information theory
Research keywords (5):
計算論理学
, 検証
, 通信プロトコル
, 論理
, セキュリティ
Research theme for competitive and other funds (2):
1997 - 2007 通信プロトコルの論理による検証
セキュリティの論理検証
MISC (6):
セキュリティプロトコルにおける暗号化メッセージの送信者による認知に関する検証法. 情報処理学会コンピュータセキュリティ研究会研究報告. 2000. Vol.2000,No.80,pp.25-30
セキュリティプロトコルの一貫性および正常終了一致の検証法. 情報処理学会コンピュータセキュリティ研究会研究報告. 2000. Vol.2000,No.30,pp.37-42
セキュリティプロトコルの一貫性および正常終了一致の同一参加者による複数セッションを考慮した検証法. 情報処理学会論文誌. 2000. Vol.41,No.8,pp.2281-2290
Verification method for possibility of parallel attack on multiple sessions with the same principals in a security protocol. Informal proceeding of Formal Method on Computer Security 2000. 2000. pp.109-120
密結合マルチプロセッサにおけるソフトウェアリソース競合モデルに関する一考察. 情報処理学会論文誌. 1991. Vol.32,No.2
more...
Education (1):
- 2000 Tokyo Institute of Technology Information Science and Engineering Computer Science
Professional career (1):
Doctor of Engineering (Tokyo Institute of Technology)
Work history (1):
Ministry of Education,Culture,Sports,Science and Technology
Association Membership(s) (3):
日本ソフトウェア科学会
, 電子情報通信学会
, 情報処理学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM