A Modeling Language for Security Threats of IoT Systems

International audienceWe propose a security-based modeling language for IoT systems with two important features: vulnerabilities are explicitly represented and interactions are allowed or denied based on the information stored on the IoT devices. An IoT system is transformed in BIP, a component-based modeling language, in which can execute the system and perform security analysis. As proof-of-concept for our approach we model an attack on the Amazon Smart-Key system

Iron oxide and oxygen plasma functionalized multi-walled carbon nanotubes for the discrimination of volatile organic compounds

10.1016/j.carbon.2014.07.032Oxygen plasma functionalized multiwall carbon nanotubes and iron oxide decorated multiwall carbon nanotubes are studied for detecting volatile organic compounds (VOCs) at room temperature. Alumina substrates with interdigitated gold electrodes are employed as transducers and the air-brushing method is used to coat them with a thin film of the differently treated carbon nanotube samples. The electrical characterization of the sensors in the presence of benzene, toluene, acetone, methanol and ethanol vapors is carried out. The different treatments allow for tuning the response of carbon nanotubes and it is found that combining the responses of two sensors (i.e., one decorated with iron oxide and the other treated in an oxygen plasma) enables discriminating the aromatic hydrocarbons from the other VOCs tested. Additionally, discriminating benzene from toluene also appears to be possible. Sensors as the ones presented here, which are operated at room temperature, may led to a new generation of affordable, mass produced portable/wearable detectors with important applications in the selective detection of benzene

Knowledge-based Distributed Conflict Resolution for Multiparty Interactions and Priorities

International audienceDistributed decentralized implementation of systems of communicating processes raises non-trivial problems. Correct execution of multiparty interactions, subject to priority rules, requires sophisticated mechanisms for runtime conflict detection and resolution. We propose a method for detection of false conflicts which combines partial observation of the system's state and apriori knowledge extracted from invariants. We propose heuristics for determining optimal sets of observations leading to implementations with particular guarantees. We provide preliminary experimental results on an implementation of the method in the BIP framework

Improved hydrogen monitoring properties based on p-NiO/n-SnO2 heterojunction composite nanofibers

Here we demonstrate the preparation and improved hydrogen monitoring properties based on p-NiO/n-SnO2 heterojunction composite nanofibers via the electrospinning technique and calcination procedure. NiO/SnO2 heterojuction composite nanofibers were spin-coated on the ceramic tube with a pair of Au electrodes for the detection of hydrogen. Extremely fast response&minus;recovery behavior (̰3s) has been obtained at the operable temperature of 320 &deg;C, based on our gas sensor, with the detection limit of approximate 5 ppm H2. The role of the addition of NiO into the SnO2 nanofibers and the sensing mechanism has also been discussed in this work.<br /