Home >

news ヘルプ

論文・著書情報


タイトル
和文:安全性証明におけるプログラム可能およびプログラム不可能なモデル 
英文:Programmable and non-programmable models in security proofs 
著者
和文: ラランジエラマリオ.  
英文: Mario Larangeira.  
種別
種別:学位論文(博士) 
国名:Japan 
言語 English 
学位授与組織 Tokyo Institute of Technology 
報告番号 甲第9051号 
学位授与日 2013/03/26 
審査員  
ファイル   

©2007 Institute of Science Tokyo All rights reserved.