|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | QoS-Aware Multicast Protocol Using Bounded Flooding (QMBF) Technique 显示文摘 | ZHI LI PRASANT MOHAPATRA | 2002 | IEEE ICC2002，2，2： | 1 |
| 2 | OoS in Mobile Ad Hoe Networks显示文摘 | Prasant Mohapatra J ian Li Chao Gui | 2003 | IEEE Wireless Communications2003，6，： | 1 |
| 3 | An availability model for MIN-based multiprocessors显示文摘 | Chita R Das Prasant Mohapatra Lei Tien | 1993 | IEEE Trans on Parallel and Distributed Systems1993，4，10： | 1 |
| 4 | Medium Access Control in Wireless Sensor Networks显示文摘 | Kurtis Kredo Ⅱ Prasant Mohapatra | 2007 | Computer Networks2007，51，： | 1 |
| 5 | QRON:QoS-Aware Routing in Overlay Net works显示文摘 | Zhi Li Prasant Mohapatra | 2004 | QRON IEEE Journal on Selected Areas in Communications2004，22，1： | 1 |
| 6 | A framework for self-healing and optimizing routing techniques for mobile ad hoc networks 显示文摘 | Chao Gui Prasant Mohapatra | 2008 | Wireless Network2008，14，： | 1 |
| 7 | Medium Access Control in Wireless Sensor Networks显示文摘 | Kurtis Kredo Prasant Mohapatra | 2007 | Computer Networks2007，51，： | 1 |
| 8 | Analytical Modeling and Mitigation Techniques for the Energy Hole Problem in Sensor Networks显示文摘 | Li Jian Prasant Mohapatra | 2007 | Jour-nal on Pervasive and Mobile Computing2007，3，3： | 1 |
| 9 | Metropolitan Ethernet net-work: A move from LAN to MAN 显示文摘 | Minh Huynh Prasant Mohapatra | 2007 | Computer Networks2007，51，17： | 1 |
| 10 | Dynamic real-time task scheduling on hypercubes显示文摘 | Prasant Mohapatra | 1997 | Journal Algorithms1997，46，1： | 1 |
| 11 | QRON:QoS-aware routing in overlay networks显示文摘 | Li Zhi Prasant Mohapatra | 2004 | IEEE Journal on Selected Areas in Communications2004，22，1： | 1 |
| 12 | Using Differentiated Services to Support Internet Telephony 显示文摘 | Fugui Wang Prasant Mohapatra | 2001 | Computer Communications (S0140- 3664)2001，24，18： | 1 |
| 13 | Analytical modeling and mitigation techniques for the energy hole problem in sensor networks显示文摘 | Jian Li Prasant Mohapatra | 2006 | Pervasive and Mobile Computing2006，，3： | 1 |
| 14 | A model checking-based security analysis framework for IoT systems显示文摘IoT systems are revolutionizing our life by providing ubiquitous computing,inter-connectivity,and automated control.However,the increasing system complexity poses huge challenges for security as IoT devices are dis-tributed,highly heterogeneous,and can directly interact with the physical environment.In IoT systems,bugs in device firmware,defects in network protocols,and design flaws in automation rules can lead to system breach or failure.The challenge gets even more escalated as the possible attacks may be chained together in a long sequence across multiple layers,rendering the existing vulnerability analysis frameworks inapplicable.In this paper,we present ForeSee,a model checking-based framework to comprehensively evaluate IoT system security.It builds a multi-layer IoT hypothesis graph by simultaneously modeling all of the essential components in IoT systems,including the physical environment,devices,communication protocols,and applications.The model checker can then analyze the generated hypothesis graph to validate system security properties or generate attack paths if there are any violations.An optimization algorithm is further introduced to reduce the computational complexity of our analysis.Our framework verifies hypothesis graphs with millions of nodes in less than 100 seconds.The illustrative case studies show that our framework can detect more potential threats than the existing approaches. | Zheng Fang Hao Fua Tianbo Gu Zhiyun Qian Trent Jaeger Pengfei Hu Prasant Mohapatra | 2021 | High-Confidence Computing2021，1，1： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员