CORC

在结果中检索

CORC

浏览/检索结果: 共48条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
基于 TPM 2.0 的协议设计与分析研究 学位论文
博士, 北京: 中国科学院研究生院, 2019
作者:  王微谨
收藏  |  浏览/下载：192/0  |  提交时间：2019/07/03
Refinement-Based Specification and Security Analysis of Separation Kernels 期刊论文
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2019, 卷号: 16, 页码: 127-141
作者:  Zhao, Yongwang;  Sanan, David;  Zhang, Fuyuan;  Liu, Yang
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30
Fine-Grained Formal Specification and Analysis of Buddy Memory Allocation in Zephyr RTOS 会议论文
2019 IEEE 22ND INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2019), 2019-01-01
作者:  Zhang Feng;  Zhao Yongwang;  Ma Dianfu;  Niu Wensheng
收藏  |  浏览/下载：11/0  |  提交时间：2019/12/30
PAFSV: A FORMAL FRAMEWORK FOR SPECIFICATION AND ANALYSIS OF SYSTEMVERILOG 期刊论文
COMPUTING AND INFORMATICS, 2016, 卷号: 35, 页码: 143-176
作者:  Man, Ka Lok;  Lei, Chi-Un;  Kapoor, Hemangee K.;  Krilavicius, Tomas;  Ma, Jieming
收藏  |  浏览/下载：7/0  |  提交时间：2019/11/26
Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites 期刊论文
QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2016, 卷号: 32, 页码: 345-361
作者:  Peng, Zhaoguang;  Lu, Yu;  Miller, Alice;  Zhao, Tingdi;  Johnson, Chris
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30
Specification and analysis of Null Convention Logic (NCL) circuits using PAFSV 会议论文
作者:  Man, Ka Lok;  Zhang, Nan;  Lei, Chi-Un;  Lim, Eng Gee;  Ting, T.O.
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/02
SRLtoRadl生成系统及其范畴论语义 期刊论文
电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康
收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16
Formal analysis of TPM2.0 key management APIs 期刊论文
CHINESE SCIENCE BULLETIN, 2014, 卷号: 59, 期号: 32, 页码: 4210-4224
Zhang, Qianying; Zhao, Shijun; Qin, Yu; Feng, Dengguo
收藏  |  浏览/下载：26/0  |  提交时间：2014/12/16
design and implementation of earth operating system 期刊论文
Chinese Journal of Electronics, 2012, 卷号: 21, 期号: 1, 页码: 33-36
Liang Hongliang; Li Shoupeng; Dong Shouji; Yuan Chunyang; Niu Shaozhang
收藏  |  浏览/下载：10/0  |  提交时间：2013/09/17
some improvements to the cost-based framework for analyzing denial of service attacks 会议论文
Trusted Systems Third International Conference, INTRUST 2011, Beijing China, 2011
Yue Qinggang; Liu Feng; Xue Rui
收藏  |  浏览/下载：10/0  |  提交时间：2013/09/22

©版权所有 ©2017 CSpace - Powered by CSpace