位置：成果数据库 > 会议 > 会议详情页
Poster: towards formal verification of DIFC policies
  • 所属机构名称：中国科学院信息工程研究所
  • 会议名称：ACM Conference on Computer and Communications Security 2011
  • 时间：2011.10.10
  • 成果类型：会议
  • 相关项目：面向系统确保的安全属性计算模型与评估方法研究
作者： Zhi. Yang, Lihua. Yin, Miyi. Duan|Shuyuan. Jin|
同会议论文项目
面向系统确保的安全属性计算模型与评估方法研究
期刊论文 22 会议论文 16
同项目会议论文
Towards Inference Attacks for K-Anonymity
Balancing Authentication and Location Privacy in Cooperative Authentication
Process Calculus for Modeling and Quantifying Location Privacy
Poster: Measuring Location Privacy with Process Calculus
A Novel Dynamic Self-Adaptive Framework for Network Security Evaluation
Network content security evaluation method analysis
A mandatory access control model based on concept lattice
Privacy Vulnerability Analysis on Routing in Mobile Social Networks
Towards a Trusted Mobile RFID Network Framework
Utility-based Cooperative Decision in Cooperative Authentication
A cluster-based multilevel security model for wireless sensor networks
Network security analysis method taking into account the usage information (poster abstract)
Modeling and quantifying the dependability based on PEPA
Cyber Attacks Prediction Model Based on Bayesian Network
Poster: A Multilevel Security Model for Wireless Sensor Networks