Verification and enforcement of access control policies

Access control mechanisms protect critical resources of systems from unauthorized access. In a policy-based management approach, administrators define user privileges as rules that determine the conditions and the extent of users’ access rights. As rules become more complex, analytical skills are required to identify conflicts and interactions within the rules that comprise a system policy—especially when rules are stateful and depend on event histories. Without adequate tool support such an analysis is error-prone and expensive. In consequence, many policy specifications are inconsistent or conflicting that render the system insecure. The security of the system, however, does not only depend on the correct specification of the security policy, but in a large part also on the correct interpretation of those rules by the system’s enforcement mechanism. In this paper, we show how policy rules can be formalized in Fusion Logic, a temporal logic for the specification of behavior of systems. A symbolic decision procedure for Fusion Logic based on Binary Decision Diagrams (BDDs) is provided and we introduce a novel technique for the construction of enforcement mechanisms of access control policy rules that uses a BDD encoded enforcement automaton based on input traces which reflect state changes in the system. We provide examples of verification of policy rules, such as absence of conflicts, and dynamic separation of duty and of the enforcement of policies using our prototype implementation (FLCheck) for which we detail the underlying theory.     

Authentication schemes for smart mobile devices: threat models,countermeasures, and open research issues

Telecommunication Systems - This paper presents a comprehensive investigation of authentication schemes for smart mobile devices. We start by providing an overview of existing survey articles...     

Tomography of Atom Beams

Abstract

We investigate the accuracy of an experimental reconstruction of the Wigner function of the transverse motion in an atom beam using numerical wave packet simulations. For the example of a superposition of two Gaussians (the outcome of a double slit, for example) we study in detail the influence of experimental restraints on the quality of the reconstruction. For the potential candidate, metastable helium, we demonstrate that an accurate reconstruction of the Wigner function, especially of its negative parts, is well within experimental reach.     

Lactoferricin treatment decreases the rate of cell proliferation of a human colon cancer cell line

Food components modify the risk of cancer at a large number of sites but the mechanism of action is unknown. In the present investigation, we studied the effect of the peptide lactoferricin derived from bovine milk lactoferrin on human colon cancer CaCo-2 cells. The cells were either untreated or treated with 2.0, 0.2, or 0.02 μM lactoferricin. Cell cycle kinetics were investigated with a bromodeoxyuridine DNA flow cytometric method. The results show that lactoferricin treatment slightly but significantly prolonged the S phase of the cell cycle. Lactoferricin treatment lowered the level of cyclin E1, a protein involved in the regulation of genes required for G₁/S transition and consequently for efficient S phase progression. The slight prolongation of the S phase resulted in a reduction of cell proliferation, which became more apparent after a long treatment time.     

Characterization of Lipids in Saliva,Tears and Minor Salivary Glands of Sjögren’s Syndrome Patients Using an HPLC/MS-Based Approach

The diagnostic work-up of primary Sjögren’s syndrome (pSS) includes quantifying saliva and tear production, evaluation of autoantibodies in serum and histopathological analysis of minor salivary glands. Thus, the potential for further utilizing these fluids and tissues in the quest to find better diagnostic and therapeutic tools should be fully explored. Ten samples of saliva and tears from female patients diagnosed with pSS and ten samples of saliva and tears from healthy females were included for lipidomic analysis of tears and whole saliva using high-performance liquid chromatography coupled to time-of-flight mass spectrometry. In addition, lipidomic analysis was performed on minor salivary gland biopsies from three pSS and three non-SS females. We found significant differences in the lipidomic profiles of saliva and tears in pSS patients compared to healthy controls. Moreover, there were differences in individual lipid species in stimulated saliva that were comparable to those of glandular biopsies, representing an intriguing avenue for further research. We believe a comprehensive elucidation of the changes in lipid composition in saliva, tears and minor salivary glands in pSS patients may be the key to detecting pSS-related dry mouth and dry eyes at an early stage. The identified differences may illuminate the path towards future innovative diagnostic methodologies and treatment modalities for alleviating pSS-related sicca symptoms.     

3D‐Printed Silicone Materials with Hydrogen Getter Capability

Organic getters are used to reduce the amount of reactive hydrogen in applications such as nuclear plants and transuranic waste. The present study examines the performance of getter loaded silicone elastomers in reducing reactive hydrogen gas from the gas phase and their capability of being 3D printed using direct ink writing techniques. The samples are placed in closed vessels and exposed to hydrogen atmosphere at pressures of 580 torr and 750 mtorr and at a temperature of 25 °C. The hydrogen consumption is measured as a function of time and normalized to getter concentration in the polymer. The performance of the getter‐loaded silicone elastomer containing 1,4‐bis[phenylethynyl]benzene (DEB) as the organic getter and Pd/C catalyst (ratio of 3:1 DEB to catalyst) decreases with increasing the resin's curing temperature. Chemical analysis suggests that DEB reacts with the silicone resin at high temperatures. In addition, it is demonstrated that the increased surface area of 3D printed composites results in improved getter performance.     

Semantics-aware detection of targeted attacks: a survey

In today’s interconnected digital world, targeted attacks have become a serious threat to conventional computer systems and critical infrastructure alike. Many researchers contribute to the fight against network intrusions or malicious software by proposing novel detection systems or analysis methods. However, few of these solutions have a particular focus on Advanced Persistent Threats or similarly sophisticated multi-stage attacks. This turns finding domain-appropriate methodologies or developing new approaches into a major research challenge. To overcome these obstacles, we present a structured review of semantics-aware works that have a high potential for contributing to the analysis or detection of targeted attacks. We introduce a detailed literature evaluation schema in addition to a highly granular model for article categorization. Out of 123 identified papers, 60 were found to be relevant in the context of this study. The selected articles are comprehensively reviewed and assessed in accordance to Kitchenham’s guidelines for systematic literature reviews. In conclusion, we combine new insights and the status quo of current research into the concept of an ideal systemic approach capable of semantically processing and evaluating information from different observation points.     

Child Behavior and Parent Management Strategies at Mealtimes in Families With a School-Age Child With Cystic Fibrosis.

Parent and child mealtime behaviors in school-age children with cystic fibrosis (CF; n = 28) and children without CF (n = 28) were examined during dinner meals by using multivariate analysis of variance. Parents of children with CF were found to differ from comparison parents in the frequency and rate of child management strategies. No differences were found in child behaviors. As the meal progressed, children displayed an increase in behaviors incompatible with eating, and parents increased behaviors to encourage eating. Slow eaters (> 20 min) with CF consumed more calories at the dinner meal than fast eaters (