Analysis of two authorization protocols using Colored Petri Nets

To prevent unauthorized access to protected trusted platform module (TPM) objects, authorization protocols, such as the object-specific authorization protocol (OSAP), have been introduced by the trusted computing group (TCG). By using OSAP, processes trying to gain access to the protected TPM objects need to prove their knowledge of relevant authorization data before access to the objects can be granted. Chen and Ryan’s 2009 analysis has demonstrated OSAP’s authentication vulnerability in sessions with shared authorization data. They also proposed the Session Key Authorization Protocol (SKAP) with fewer stages as an alternative to OSAP. Chen and Ryan’s analysis of SKAP using ProVerif proves the authentication property. The purpose of this paper was to examine the usefulness of Colored Petri Nets (CPN) and CPN Tools for security analysis. Using OSAP and SKAP as case studies, we construct intruder and authentication property models in CPN. CPN Tools is used to verify the authentication property using a Dolev–Yao-based model. Verification of the authentication property in both models using the state space tool produces results consistent with those of Chen and Ryan.

Novel fluorinated surfactants tentatively identified in firefighters using liquid chromatography quadrupole time-of flight tandem mass spectrometry and a case-control approach

Fluorinated surfactant-based aqueous film-forming foams (AFFFs) are made up of per- and polyfluorinated alkyl substances (PFAS) and are used to extinguish fires involving highly flammable liquids. The use of perfluorooctanesulfonic acid (PFOS) and other perfluoroalkyl acids (PFAAs) in some AFFF formulations has been linked to substantial environmental contamination. Recent studies have identified a large number of novel and infrequently reported fluorinated surfactants in different AFFF formulations. In this study, a strategy based on a case-control approach using quadrupole time-of-flight tandem mass spectrometry (QTOF-MS/MS) and advanced statistical methods has been used to extract and identify known and unknown PFAS in human serum associated with AFFF-exposed firefighters. Two target sulfonic acids [PFOS and perfluorohexanesulfonic acid (PFHxS)], three non-target acids [perfluoropentanesulfonic acid (PFPeS), perfluoroheptanesulfonic acid (PFHpS), and perfluorononanesulfonic acid (PFNS)], and four unknown sulfonic acids (Cl-PFOS, ketone-PFOS, ether-PFHxS, and Cl-PFHxS) were exclusively or significantly more frequently detected at higher levels in firefighters compared to controls. The application of this strategy has allowed for identification of previously unreported fluorinated chemicals in a timely and cost-efficient way.

Piezoelectric vinylidene-fluoride based polymers for use in space environments

The effects of simulated low earth orbit conditions on vinylidene-fluoride based thin-film piezoelectrics for use in lightweight, large surface area spacecraft such as telescope mirrors and antennae is presented. The environmental factors considered as having the greatest potential to cause damage are temperature, atomic oxygen and vacuum UV radiation. Using the piezoelectric strain coefficients and bimorph deflection measurements the piezoelectric performance over the temperature range -100 to +150°C was studied. The effects of simultaneous AO/VUV exposure were also examined and films characterized by their piezoelectric, surface, and thermal properties. Two fluorinated piezoelectric polymers, poly(vinylidene fluoride) and poly(vinylidene fluoride-co-trifluoroethylene), were adversely affected at elevated temperatures due to depoling caused by randomization of the dipole orientation, while AO/VUV contributed little to depoling but did cause significant surface erosion and, in the case of P(VDF-TrFE), bulk crosslinking. These results highlight the importance of materials selection for use in space environments.

Infrared and Raman spectroscopic characterisation of the sulphate mineral creedite – Ca3Al2SO4(F,OH)·2H2O – and in comparison with the alums

The mineral creedite is a fluorinated hydroxy hydrated sulphate of aluminium and calcium of formula Ca3Al2SO4(F,OH)·2H2O. The mineral has been studied by a combination of electron probe analysis to determine the molecular formula of the mineral and the structure assessed by vibrational spectroscopy. The spectroscopy of creedite may be compared with that of the alums. The Raman spectrum of creedite is characterised by an intense sharp band at 986 cm−1 assigned to the View the MathML source ν1 (Ag) symmetric stretching mode. Multiple bands of creedite in the antisymmetric stretching region support the concept of a reduction in symmetry of the sulphate anion. Multiple bands are also observed in the bending region with the three bands at 601, 629 and 663 cm−1 assigned to the View the MathML source ν4 (Ag) bending modes. The observation of multiple bands at 440, 457 and 483 cm−1 attributed to the View the MathML source ν2 (Bg) bending modes supports the concept that the symmetry of the sulphate is reduced by coordination to the water bonded to the Al3+ in the creedite structure. The splitting of the ν2, ν3 and ν4 modes is attributed to the reduction of symmetry of the SO4 and it is proposed that the sulphate coordinates to water in the hydrated aluminium in bidentate chelation.

Reusable surface confined semi-conducting metal-TCNQ and metal-TCNQF4 catalysts for electron transfer reactions

The synthesis of organic semiconducting materials based on silver and copper-TCNQ (TCNQ = 7,7,8,8-tetracyanoquinodimethane) and their fluorinated analogues has received a significant amount of attention due to their potential use in organic electronic applications. However, there is a scarcity in the identification of different applications for which these interesting materials may be suitable candidates. In this work, we address this by investigating the catalytic properties of such materials for the electron transfer reaction between ferricyanide and thiosulphate ions in aqueous solution, which to date has been almost solely limited to metallic nanomaterials. Significantly it was found that all the materials investigated, namely CuTCNQ, AgTCNQ, CuTCNQF4 and AgTCNQF4, were catalytically active and, interestingly, the fluorinated analogues were superior. AgTCNQF4 demonstrated the highest activity and was tested for its stability and re-usability for up to 50 cycles without degradation in performance. The catalytic reaction was monitored via UV-vis spectroscopy and open circuit potential versus time measurements, as well as an investigation of the transport properties of the films via electrochemical impedance spectroscopy. It is suggested that morphology and bulk conductivity are not the limiting factors, but rather the balance between the accumulated surface charge from electron injection via thiosulphate ions on the catalyst surface and transfer to the ferricyanide ions which controls the reaction rate. The facile fabrication of re-usable surface confined organic materials that are catalytically active may have important uses for many more electron transfer reactions.

Fusiform activation to animals is driven by the process, not the stimulus

Previous studies have found that the lateral posterior fusiform gyri respond more robustly to pictures of animals than pictures of manmade objects and suggested that these regions encode the visual properties characteristic of animals. We suggest that such effects actually reflect processing demands arising when items with similar representations must be finely discriminated. In a positron emission tomography (PET) study of category verification with colored photographs of animals and vehicles, there was robust animal-specific activation in the lateral posterior fusiform gyri when stimuli were categorized at an intermediate level of specificity (e.g., dog or car). However, when the same photographs were categorized at a more specific level (e.g., Labrador or BMW), these regions responded equally strongly to animals and vehicles. We conclude that the lateral posterior fusiform does not encode domain-specific representations of animals or visual properties characteristic of animals. Instead, these regions are strongly activated whenever an item must be discriminated from many close visual or semantic competitors. Apparent category effects arise because, at an intermediate level of specificity, animals have more visual and semantic competitors than do artifacts.

Self-organization and dynamics of nanoparticles in chemically active plasmas for low-temperature deposition of silicon and carbon-based nanostructured films

Self-organization and dynamic processes of nano/micron-sized solid particles grown in low-temperature chemically active plasmas as well as the associated physico-chemical processes are reviewed. Three specific reactive plasma chemistries, namely, of silane (SiH4), acetylene (C 2H2), and octafluorocyclobutane (c-C4F 8) RF plasma discharges for plasma enhanced chemical vapor deposition of amorphous hydrogenated silicon, hydrogenated and fluorinated carbon films, are considered. It is shown that the particle growth mechanisms and specific self-organization processes in the complex reactive plasma systems are related to the chemical organization and size of the nanoparticles. Correlation between the nanoparticle origin and self-organization in the ionized gas phase and improved thin film properties is reported. Self-organization and dynamic phenomena in relevant reactive plasma environments are studied for equivalent model systems comprising inert buffer gas and mono-dispersed organic particulate powders. Growth kinetics and dynamic properties of the plasma-assembled nanoparticles can be critical for the process quality in microelectronics as well as a number of other industrial applications including production of fine metal or ceramic powders, nanoparticle-unit thin film deposition, nanostructuring of substrates, nucleating agents in polymer and plastics synthesis, drug delivery systems, inorganic additives for sunscreens and UV-absorbers, and several others. Several unique properties of the chemically active plasma-nanoparticle systems are discussed as well.

Spectrophotometric analysis of phenols, which involves a hemin-graphene hybrid nanoparticles with peroxidase-like activity

Phenols are well known noxious compounds, which are often found in various water sources. A novel analytical method has been researched and developed based on the properties of hemin–graphene hybrid nanosheets (H–GNs). These nanosheets were synthesized using a wet-chemical method, and they have peroxidase-like activity. Also, in the presence of H2O2, the nanosheets are efficient catalysts for the oxidation of the substrate, 4-aminoantipine (4-AP), and the phenols. The products of such an oxidation reaction are the colored quinone-imines (benzodiazepines). Importantly, these products enabled the differentiation of the three common phenols – pyrocatechol, resorcin and hydroquinone, with the use of a novel, spectroscopic method, which was developed for the simultaneous determination of the above three analytes. This spectroscopic method produced linear calibrations for the pyrocatechol (0.4–4.0 mg L−1), resorcin (0.2–2.0 mg L−1) and hydroquinone (0.8–8.0 mg L−1) analytes. In addition, kinetic and spectral data, obtained from the formation of the colored benzodiazepines, were used to establish multi-variate calibrations for the prediction of the three phenol analytes found in various kinds of water; partial least squares (PLS), principal component regression (PCR) and artificial neural network (ANN) models were used and the PLS model performed best.

Desynchronization and Traceability Attacks on RIPTA-DA Protocol

Recently Gao et al. proposed a lightweight RFID mutual authentication protocol [3] to resist against intermittent position trace attacks and desynchronization attacks and called it RIPTA-DA. They also verified their protocol’s security by data reduction method with the learning parity with noise (LPN) and also formally verified the functionality of the proposed scheme by Colored Petri Nets. In this paper, we investigate RIPTA-DA’s security. We present an efficient secret disclosure attack against the protocol which can be used to mount both de-synchronization and traceability attacks against the protocol. Thus our attacks show that RIPTA-DA protocol is not a RIPTA-DA.

On Merging Business Process Management and Geographic Information Systems : Modeling and Execution of Ecological Concerns in Processes

Business Process Management describes a holistic management approach for the systematic design, modeling, execution, validation, monitoring and improvement of organizational business processes. Traditionally, most attention within this community has been given to control-flow aspects, i.e., the ordering and sequencing of business activities, oftentimes in isolation with regards to the context in which these activities occur. In this paper, we propose an approach that allows executable process models to be integrated with Geographic Information Systems. This approach enables process models to take geospatial and other geographic aspects into account in an explicit manner both during the modeling phase and the execution phase. We contribute a structured modeling methodology, based on the well-known Business Process Model and Notation standard, which is formalized by means of a mapping to executable Colored Petri nets. We illustrate the feasibility of our approach by means of a sustainability-focused case example of a process with important ecological concerns.

Infrared and Raman spectroscopic characterization of the carbonate bearing silicate mineral aerinite – Implications for the molecular structure

The mineral aerinite is an interesting mineral because it contains both silicate and carbonate units which is unusual. It is also a highly colored mineral being bright blue/purple. We have studied aerinite using a combination of techniques which included scanning electron microscopy, energy dispersive X-ray analysis, Raman and infrared spectroscopy. Raman bands at 1049 and 1072 cm−1 are assigned to the carbonate symmetric stretching mode. This observation supports the concept of the non-equivalence of the carbonate units in the structure of aerinite. Multiple infrared bands at 1354, 1390 and 1450 cm−1 supports this concept. Raman bands at 933 and 974 cm−1 are assigned to silicon–oxygen stretching vibrations. Multiple hydroxyl stretching and bending vibrations show that water is in different molecular environments in the aerinite structure.

More than thirty years of ultimatum bargaining experiments: Motives, variations, and a survey of the recent literature

Take-it or leave-it offers are probably as old as mankind. Our objective here is, first, to provide a, probably subjectively colored, recollection of the initial ultimatum game experiment, its motivation and the immediate responses. Second, we discuss extensions of the standard ultimatum bargaining game in a unified framework, and, third, we offer a survey of the experimental ultimatum bargaining literature containing papers published since the turn of the century. The paper argues that the ultimatum game is a versatile tool for research in bargaining and on social preferences. Finally, we provide examples for open research questions and directions for future studies.

Functional localization of the human color center by decreased water displacement using diffusion-weighted fMRI

Introduction Decreased water displacement following increased neural activity has been observed using diffusion-weighted functional MRI (DfMRI) at high b-values. The physiological mechanisms underlying the diffusion signal change may be unique from the standard blood oxygenation level-dependent (BOLD) contrast and closer to the source of neural activity. Whether DfMRI reflects neural activity more directly than BOLD outside the primary cerebral regions remains unclear. Methods Colored and achromatic Mondrian visual stimuli were statistically contrasted to functionally localize the human color center Area V4 in neurologically intact adults. Spatial and temporal properties of DfMRI and BOLD activation were examined across regions of the visual cortex. Results At the individual level, DfMRI activation patterns showed greater spatial specificity to V4 than BOLD. The BOLD activation patterns were more prominent in the primary visual cortex than DfMRI, where activation was localized to the ventral temporal lobe. Temporally, the diffusion signal change in V4 and V1 both preceded the corresponding hemodynamic response, however the early diffusion signal change was more evident in V1. Conclusions DfMRI may be of use in imaging applications implementing cognitive subtraction paradigms, and where highly precise individual functional localization is required.

Superhydrophobic fabrics for oil-water separation based on the metal organic charge transfer complex CuTCNAQ

This work reports on the fabrication of a superhydrophobic nylon textile based on the organic charge transfer complex CuTCNAQ (TCNAQ = 11,11,12,12-tetracyanoanthraquinodimethane). The nylon fabric that is metallized with copper undergoes a spontaneous chemical reaction with TCNAQ dissolved in acetonitrile to form nanorods of CuTCNAQ that are intertwined over the entire surface of the fabric. This creates the necessary micro and nanoscale roughness that is required for the Cassie-Baxter state thereby achieving a superhydrophobic/superoleophilic surface without the need for a fluorinated surface. The material is characterised with SEM, FT-IR and XPS spectroscopy and investigated for its ability to separate oil and water in two modes, namely under gravity and as an absorbent. It is found that the fabric can separate dichloromethane, olive oil and crude oil from water and in fact reduce the water content of the oil during the separation process. The fabric is reusable and tolerant to conditions such as seawater, hydrochloric acid and extensive time periods on the shelf. Given that CuTCNAQ is a copper based semiconductor may also open up the possibility of other applications in areas such as photocatalysis and antibacterial applications.