版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
Untitled
作者机构：Formal Methods Section Center for High Assurance Computer Systems Naval Research Laboratory NRL Protocol Analyzer Internet Engineering Task Force IFIP Working Group 1.7 on Foundations of Security Analysis and Design University of Texas Austin United States Boston University IFIP WG 10.4 on Dependability Microsoft's Trustworthy Computing Academic Advisory Board
出 版 物：《IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING》 (IEEE Trans. Dependable Secure Comput.)
年 卷 期：2008年第5卷第1期
页 面：4-5页
核心收录：
学科分类：0808[工学-电气工程] 08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术（可授工学、理学学位）]
主 题：Security Editorials Book reviews Cryptography Educational institutions IEEE transactions Protocols
