A new deduction system for cryptographic primitives and their security properties

論文・著書情報

タイトル

和文:
英文:	A new deduction system for cryptographic primitives and their security properties

著者

和文:	Ashraf Moustafa Bhery, 萩原茂樹, 米崎直樹.
英文:	Ashraf Moustafa Bhery, Shigeki Hagihara, Naoki Yonezaki.

言語

English

掲載誌/書名

和文:	情報処理学会研究報告 2003-CSEC-22
英文:	IPSJ SIG Technical Reports

巻, 号, ページ

Vol. 2003 No. 74 pp. 31-38

出版年月

2003年7月

出版者

和文:
英文:

会議名称

和文:
英文:

開催地

和文:
英文: