EAGER: USBRCCR: Collaborative: Lightweight Policy Enforcement of Information Flows in IoT Infrastructures
EAGER: USBRCCR: Collaborative: Lightweight Policy Enforcement of Information Flows in IoT Infrastructures
批准号:
1740916
负责人:
Darko Marinov
金额:
$13.63万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2017
资助国家:
美国
项目状态:
已结题
起止时间:
2017-09-01 至 2020-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
As Internet of Things (IoT) systems become deployed more widely, their security is becoming a serious concern in many domains, including smart homes, autonomous cars, or industrial control systems. Security exploits in IoT systems can lead to loss of privacy, data theft, financial losses, and even physical harm. The proposed work will develop a novel approach to harden security of IoT systems via cross-layer defense. The approach will be developed and evaluated in collaboration among three participating institutions in the US and Brazil. The project aims to provide technical foundations to harden the defense against several types of security attacks in IoT systems, and the project will also create broader impact through dissemination of results and education efforts.More technically, the proposed approach considers cross-layer defense at IoT app layer, network layer, and devices. The central concept is flow policies: the proposed work extracts flow policies from IoT apps, and then uses these policies to enforce desired flows and to detect violations at both the device and network layers. In contrast to general-purpose applications, the flows in IoT apps are expected to be often predictable and expressive enough to capture important properties such that detected flow violations indicate real problems and not false alarms. If policies are indeed found to be expressive enough, and checking them is lightweight in IoT systems, the approach will provide substantial benefits to improve defense of IoT systems in practice.
期刊论文(8)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
A large-scale study of test coverage evolution
测试覆盖率演变的大规模研究
DOI:
10.1145/3238147.3238183
发表时间:
2018
期刊:
33rd IEEE/ACM Conference on Automated Software Engineering
影响因子:
--
作者:
[Hilton, Michael, Bell, Jonathan, Marinov, Darko]
通讯作者:
Marinov, Darko
DOI:
10.1109/icst.2019.00037
发表时间:
2019-04
期刊:
2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST)
影响因子:
--
作者:
[Owolabi Legunsen;Yi Zhang;Milica Hadzi-Tanovic;Grigore Roşu;D. Marinov]
通讯作者:
Owolabi Legunsen;Yi Zhang;Milica Hadzi-Tanovic;Grigore Roşu;D. Marinov
DOI:
10.1109/icst46399.2020.00038
发表时间:
2020-10
期刊:
2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)
影响因子:
--
作者:
[Breno Miranda;Igor Lima;Owolabi Legunsen;Marcelo d’Amorim]
通讯作者:
Breno Miranda;Igor Lima;Owolabi Legunsen;Marcelo d’Amorim
DOI:
10.1007/s10515-019-00267-1
发表时间:
2019-11
期刊:
Automated Software Engineering
影响因子:
3.4
作者:
[Owolabi Legunsen;Nader Al Awar;Xinyue Xu;Wajih Ul Hassan;Grigore Roşu;D. Marinov]
通讯作者:
Owolabi Legunsen;Nader Al Awar;Xinyue Xu;Wajih Ul Hassan;Grigore Roşu;D. Marinov
DOI:
10.1007/978-3-319-91271-4_8
发表时间:
2018
期刊:
and Z
影响因子:
--
作者:
[Wang, Kaiyuan, Sullivan, Allison, Koukoutos, Manos, Marinov, Darko, Khurshid, Sarfraz]
通讯作者:
Khurshid, Sarfraz
共 8 条
SHF: Medium: Collaborative Research: Enhancing Continuous Integration Testing for the Open-Source Ecosystem
-
批准号:1763788
-
项目类别:Continuing Grant
-
资助金额:$43.71万
-
财政年份:2018
-
负责人:Darko Marinov
-
依托单位:
CPS: Synergy: Collaborative Research: Support for Security and Safety of Programmable IoT Systems
-
批准号:1646305
-
项目类别:Standard Grant
-
资助金额:$35.21万
-
财政年份:2017
-
负责人:Darko Marinov
-
依托单位:
SHF: Medium: Collaborative Research: Improved Performance Testing and Debugging
-
批准号:1409423
-
项目类别:Standard Grant
-
资助金额:$60.0万
-
财政年份:2014
-
负责人:Darko Marinov
-
依托单位:
SHF: Small: Revisiting Assumptions of Regression Testing
-
批准号:1421503
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2014
-
负责人:Darko Marinov
-
依托单位:
Collaborative Research: II-EN: Infrastructure Support for Software Testing Research
-
批准号:0958199
-
项目类别:Continuing Grant
-
资助金额:$27.7万
-
财政年份:2010
-
负责人:Darko Marinov
-
依托单位:
SHF: Small: IMUnit: Improved Multithreaded Unit Testing
-
批准号:0916893
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2009
-
负责人:Darko Marinov
-
依托单位:
CAREER: Systematic Software Testing Using Test Abstractions
-
批准号:0746856
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2008
-
负责人:Darko Marinov
-
依托单位:
海外基金