App Collusion Detection (ACID)
App Collusion Detection (ACID)
应用程序合谋检测 (ACID)
批准号：
EP/L022656/1
负责人：
Siraj Ahmed Shaikh
金额：
$24.06万
依托单位：
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2014
资助国家：
英国
项目状态：
已结题
起止时间：
2014 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(4)
专著(0)
科研奖励(0)
会议论文
Critical Systems: Formal Methods and Automated Verification
关键系统：形式化方法和自动验证
关键系统：形式化方法和自动验证
DOI：
10.1007/978-3-319-45943-1_10
发表时间：
2016
期刊：
影响因子：
--
作者：
[Asavoae I]
通讯作者：
Asavoae I
Effective network security monitoring: from attribution to target-centric monitoring
有效的网络安全监控：从归因到以目标为中心的监控
有效的网络安全监控：从归因到以目标为中心的监控
DOI：
10.1007/s11235-015-0071-0
发表时间：
2015
期刊：
Telecommunication Systems
影响因子：
2.5
作者：
[Shaikh S]
通讯作者：
Shaikh S
Software Model Checking
软件模型检查
软件模型检查
DOI：
10.1145/3103111.3104040
发表时间：
2017
期刊：
影响因子：
--
作者：
[Asavoae I]
通讯作者：
Asavoae I
Evaluating Cyber Security Evidence for Policy Advice: The Other Human Dimension
-
批准号：EP/P01156X/1
-
项目类别：Research Grant
-
资助金额：$21.42万
-
财政年份：2017
-
负责人：Siraj Ahmed Shaikh
-
依托单位：
Efficient & Reliable Transportation of Consigments (ERTOC)
-
批准号：TS/I000291/1
-
项目类别：Research Grant
-
资助金额：$14.03万
-
财政年份：2010
-
负责人：Siraj Ahmed Shaikh
-
依托单位：
Secure storage and transmission/collection of data from field-based rapid diagnostic devices
-
批准号：EP/I012915/1
-
项目类别：Research Grant
-
资助金额：$3.77万
-
财政年份：2010
-
负责人：Siraj Ahmed Shaikh
-
依托单位：
海外基金
