位置：成果数据库 > 会议 > 会议详情页
An extended UML method for the verification of security protocols
  • 所属机构名称：天津大学
  • 会议名称：2014 19th International Conference on Engineering of Complex Computer Systems, ICECCS 2014
  • 时间：2014
  • 成果类型：会议
  • 相关项目：基于OpenAPI 的社会化软件系统的自动演进信誉体系研究
作者： Shen G.|Li X.|Feng R.|Xu G.|Hu J.|Feng Z.|
同会议论文项目
基于OpenAPI 的社会化软件系统的自动演进信誉体系研究
期刊论文 2 会议论文 3
同项目会议论文
OOPN-SRAM: A novel method for software risk assessment
Attack Tree Based Android Malware Detection with Hybrid Analysis