位置：成果数据库 > 会议 > 会议详情页
Specifying and checking network protocol based on TLA
  • 所属机构名称：中国人民大学
  • 会议名称：2012 International Conference on Anti-Counterfeiting, Security and Identification, ASID 2012
  • 时间：2012
  • 成果类型：会议
  • 相关项目：动态污点分析中的隐式信息流分析方法研究
同会议论文项目
动态污点分析中的隐式信息流分析方法研究
期刊论文 17 会议论文 11
同项目会议论文
CrackingClassifiers for Evasion: A Case Study on the Google’s Phishing Pages Filter
Test case generation assisted by control dependence analysis
Scriptless timing attacks on web browser privacy
Automatic android GUI traversal with high coverage
AntMiner: Mining More Bugs by Reducing Noise Interference
Reference Hijacking: Patching, Protecting and Analyzing on Unmodified and Non-Rooted Android Devices
Expanding an Operating System's Working Space with a New Mode to Support Trust Measurement
HDROP: Detecting ROP attacks using performance monitoring counters
Android implicit information flow demystified
AsDroid: Detecting Stealthy Behaviors in Android Applications by User Interface and Program Behavior