| Improving Operation Time Bounded Mission Critical Systems' Attack-Survivability through Controlled Source-Code Transformation |
Nov 2011 |
9 pages |
| Authors:
Alban Vignaux; Arnaud Auguste; Bogdan Korel; Shangping Ren; Kevin Kwiat; ILLINOIS INST OF TECH CHICAGO DEPT OF COMPUTER SCIENCE
|
 | Mission critical systems often operate for limit time durations. For these systems, we subscribe to the notion that provisioning of security can be based on the expected duration of a system's mission. In this paper, we present a simple and safe K - variant approach to improve time-based mission critical systems' attack-survivability and provide formal analysis about K - variant system's attack survivability under M memory-based attack attempts. Our theoretical ... |
|
| Secure Proactive Recovery a Hardware Based Mission Assurance Scheme |
Aug 2011 |
10 pages |
| Authors:
Ruchika Mehresh; Shambhu Upadhyaya; Kevin Kwiat; AIR FORCE RESEARCH LAB ROME NY INFORMATION DIRECTORATE
|
| Mission Assurance in critical systems entails both fault tolerance and security. Since fault tolerance via redundancy or replication is contradictory to the notion of a limited trusted computing base, normal security techniques cannot be applied to fault tolerant systems. Thus, in order to enhance the dependability of mission critical systems, designers employ a multi-phase approach that includes fault/threat avoidance/prevention, detection and recovery. Detection phase is the fallback plan for avoidance/prevention ... |
|
| QoS-T: Quality of Service Throttling to Elicit User Cooperation in Computer Systems |
Aug 2011 |
17 pages |
| Authors:
Vidyaraman Sankaranarayanan; Shambhu Upadhyaya; Kevin Kwiat; AIR FORCE RESEARCH LAB ROME NY
|
| While there exist strong security concepts and mechanisms, implementation and enforcement of these security measures is a critical concern in the security domain. Normal users, unaware of the implications of their actions, often attempt to bypass or relax the security mechanisms in place, seeking instead increased performance or ease of use. Thus, the human in the loop becomes the weakest link. This shortcoming adds a level of uncertainty unacceptable in ... |
|
| Attacker Detection Game in Wireless Networks with Channel Uncertainty |
Aug 2010 |
6 pages |
| Authors:
Wenjing Wang; Mainak Chatterjee; Kevin Kwiat; AIR FORCE RESEARCH LAB ROME NY INFORMATION DIRECTORATE
|
| Identification and isolation of attackers in a distributed system is a challenging problem. This problem is even more aggravated in a wireless network because the unreliable channel makes the actions of the users (nodes) hidden from each other. Therefore, legitimate users can only construct a belief about a potential attacker through monitoring and observation. In this paper, we use game theory to study the interactions between regular and attacker nodes ... |
|
| Congestion Control and Fairness in Wireless Sensor Networks |
Apr 2010 |
7 pages |
| Authors:
Swastik Brahma; Mainak Chatterjee; Kevin Kwiat; AIR FORCE RESEARCH LAB ROME NY INFORMATION DIRECTORATE
|
| In this paper we propose a distributed congestion control algorithm for tree based communications in wireless sensor networks, that seeks to adaptively assign a fair and efficient transmission rate to each node. In our algorithm, each node monitors its aggregate output and input traffic rates. Based on the difference of the two, a node then decides either to increase or decrease the bandwidth allocable to a flow originating from itself ... |
|
| Improving Complex Distributed Software System Availability Through Information Hiding |
26 Mar 2010 |
6 pages |
| Authors:
Li Wang; Yair Leiferman; Shangping Ren; Kevin Kwiat; Xiaowei Li; AIR FORCE RESEARCH LAB ROME NY INFORMATION DIRECTORATE
|
| For distributed software systems, ensuring their availability under intentional attacks is critical. Traffic analysis, conducted by the attacker, could reveal the protocol being carried out by the components. Furthermore, having inferred the protocol, the attacker can use the pattern of the messages as a guide to the most critical components. We thwart these directed attacks by using message forwarding to reduce traffic differences, thus diverge attackers from targeted attack to ... |
|
| A Game Theoretic Framework for Power Control in Wireless Sensor Networks (POSTPRINT) |
Feb 2010 |
13 pages |
| Authors:
Shamik Sengupta; Mainak Chatterjee; Kevin Kwiat; AIR FORCE RESEARCH LAB ROME NY INFORMATION DIRECTORATE
|
| In infrastructure-less sensor networks, efficient usage of energy is very critical because of the limited energy available to the sensor nodes. Among various phenomena that consume energy, radio communication is by far the most demanding one. One of the effective ways to limit unnecessary energy loss is to control the power at which the nodes transmit signals. In this paper, we apply game theory to solve the power control problem ... |
|
| Delay Based Routing for Real-time Traffic in Ad hoc Networks |
Jan 2010 |
7 pages |
| Authors:
Dipika Darshana; Mainak Chatterjee; Kevin Kwiat; AIR FORCE RESEARCH LAB ROME NY INFORMATION DIRECTORATE
|
| This paper proposes a routing protocol in an ad hoc network that ensures timely delivery of real-time data packets. This is achieved by carefully accessing the resources available to a route before a session is admitted along that route. Each link in the route is checked for sufficient bandwidth not only for the new session to be admitted but also for the sessions that are already using that link. The ... |
|
| A Multi-Step Simulation Approach Toward Secure Fault Tolerant System Evaluation |
Jan 2010 |
6 pages |
| Authors:
Ruchika Mehresh; Shambhu J Upadhyaya; Kevin Kwiat; AIR FORCE RESEARCH LAB ROME NY INFORMATION DIRECTORATE
|
| As new techniques of fault tolerance and security emerge, so does the need for suitable tools to evaluate them. This paper presents a multi-step, simulation-based performance evaluation methodology for secure fault tolerant systems. A divide-and-conquer approach is used to model the entire secure system in a way that allows the use of different analytical tools at different levels of granularity. This evaluation procedure tries to strike a balance between the ... |
|
| Interference Aware Spectrum Allocation in IEEE 802.22 Wireless Mesh Networks |
Nov 2009 |
7 pages |
| Authors:
Shamik Sengupta; Mainak Chatterjee; Kevin Kwiat; AIR FORCE RESEARCH LAB ROME NY
|
| This research studies the current IEEE 802.22 system architecture and investigates the limitations in creating wireless back-haul mesh networks due to its lack of knowledge about the spectrum bands to be used. In this regard, a coordinated distributed scheme for IEEE 802.22 enabled devices to is proposed establish a mesh network with reduced interference. The coordination is initiated by the base station and is followed by the iterative joining of ... |
|
| An Application Specific Routing Framework for Wireless Sensor Networks |
Nov 2009 |
5 pages |
| Authors:
Mukundan Venkataraman; Mainak Chatterjee; Kevin Kwiat; AIR FORCE RESEARCH LAB ROME NY INFORMATION DIRECTORATE
|
| Numerous routing protocols have been proposed for wireless sensor networks, each of which is highly optimized for a certain class of traffic, like real time, reliable sense and disseminate network reprogramming, energy efficiency and so on. However, a typical deployment demands an arbitrary communication pattern that generates multiple traffic types simultaneously. Arguably, no single routing protocol can completely cater to a deployment's various flavors. In this paper, a dynamic routing ... |
|
| QoS-LI: QoS Loss Inference in Disadvantaged Networks - Part 2 |
May 2008 |
8 pages |
| Authors:
Vidyaraman Sankaranarayanan; Shambhu Upadhyaya; Kevin Kwiat; AIR FORCE RESEARCH LAB ROME NY INFORMATION DIRECTORATE
|
| The Quality-of-Service (QoS) in disadvantaged networks is a function of many parameters, including the nature of the physical link over which the disadvantaged network operates. While there exist mechanisms (like specialized versions of TCP) to account for their nature and operate optimally over disadvantaged networks, their operation under adversarial conditions have not been investigated. In the authors' prior work, they presented a game theoretic framework to infer the nature of ... |
|
| Retrofitting Cyber Physical Systems for Survivability through External Coordination |
Jan 2008 |
10 pages |
| Authors:
Kun Xiao; Shangping Ren; Kevin Kwiat; AIR FORCE RESEARCH LAB ROME NY INFORMATION DIRECTORATE
|
| Most Supervisory Control and Data Acquisition (SCADA) systems have been in operation for decades and they in general have 24x7 availability requirement, hence upgrading or adding new fault tolerant logic into the systems to sustain faults caused by cyber attacks when these systems evolve into a cyber environment is often difficult to achieve. In the proposed approach, an external coordination layer is constructed that only interfaces with the SCADA systems ... |
|
Reports by Author
