位置：成果数据库 > 会议 > 会议详情页
Specifying and Checking Network Protocol Based on TLA
  • 所属机构名称：中国人民大学
  • 会议名称：6th International Conference on Anti-Counterfeiting, Security and Identification (ASID)
  • 时间：2012
  • 成果类型：会议
  • 相关项目：硬件协助且面向Web应用的操作系统信任基的最小化模型研究
作者： Wan, Liang|Shi, Wenchang|
同会议论文项目
硬件协助且面向Web应用的操作系统信任基的最小化模型研究
期刊论文 19 会议论文 11 专利 2 著作 1
同项目会议论文
AsDroid: Detecting Stealthy Behaviors in Android Applications by User Interface and Program Behavior
HDROP: Detecting ROP Attack Using Performance Monitoring Counters
Detecting Stealthy Malware with Inter-Structure and Imported Signatures
Automatic Android GUI Traversal with High Coverage
VIsolator: An Intel VMX-Based Isolation Mechanism
On Mutual Support of Modern and Traditional Access Control Models with UCON and BLP as Case Study
Trust-Oriented Access Control Based on Sources of Information Flow
A Direct Web Page Templates Detection Method
An Approach to Building a Trust Mode for Operating Systems and Its Implementation
Secure One-to-Group Communications Escrow-Free ID-Based Asymmetric Group Key Agreement