A logical approach to multilevel security of probabilistic systems

Summary. We set out a modal logic for reasoning about multilevel security of probabilistic systems. This logic contains expressions for time, probability, and knowledge. Making use of the Halpern-Tuttle framework for reasoning about knowledge and probability, we give a semantics for our logic and prove it is sound. We give two syntactic definitions of perfect multilevel security and show that their semantic interpretations are equivalent to earlier, independently motivated characterizations. We also discuss the relation between these characterizations of security and between their usefulness in security analysis.     

p53 codon 72 polymorphism in Taiwanese lung cancer patients: association with lung cancer susceptibility and prognosis

Previous studies have indicated that milrinone, a specific type III phosphodiesterase inhibitor, may be able to induce chloride secretion in cystic fibrosis (CF) tissues. We have now assessed the effect of this agent in vivo on the nasal epithelium of CF mutant mice and also in the nose and lungs of human subjects with CF. Wild-type mice showed a small hyperpolarization of the nasal potential difference (PD) in response to milrinone (100 microM, 1.6 +/- 0.6 mV, n = 8, P < 0.05). In contrast, CF mice carrying either the most common human mutation of the gene for the CF transmembrane regulator (CFTR), DeltaF508 (protein mislocalized), or the G551D mutation (protein normally localized) failed to demonstrate this response. Milrinone perfused alone had no significant effect on the baseline nasal PD of human subjects without CF (14.7 +/- 4.0 mV preperfusion; 15.3 +/- 4.6 mV postperfusion), but significantly (P < 0.05) augmented the hyperpolarization induced by a subsequently perfused low-chloride solution (with milrinone, 36.8 +/- 3.0 mV, n = 6; without milrinone, 18.1 +/- 2.2 mV, n = 19). In contrast, in human subjects with CF (n = 6), milrinone alone significantly (P < 0. 05) altered the nasal baseline PD (52.2 +/- 3.3 mV preperfusion; 57. 4 +/- 4.2 mV, postperfusion) but not the subsequent responses to the low-chloride solution (with milrinone, 1.1 +/- 2.2 mV, n = 4; without milrinone, 0.6 +/- 0.5 mV, n = 28) or to isoproterenol (100 microM). In a separate study in subjects (n = 6) with the DeltaF508 mutation, nasal coadministration of milrinone with isoproterenol produced no effect in the presence of amiloride and a low-chloride solution (-0.8 +/- 0.5 mV). This was also the case in the nasal epithelium of CF subjects (n = 4) carrying at least one G551D allele (-0.3 +/- 0.8 mV). Similarly, milrinone did not hyperpolarize the PD of either the tracheal (n = 6) or segmental (n = 6) airways of CF subjects (DeltaF508) when applied topically in vivo in the presence of amiloride, isoproterenol, or adenosine triphosphate (all 100 microM) in a low-chloride solution. These data do not support the use of milrinone to induce chloride secretion in CF airways in vivo.     

New Thinking About the Enterprise

Geographic Information Systems in Business, James B. Pick, Editor; Hershey, PA: Idea Group Publishing (2005).

Sharing Expertise: Beyond Knowledge Management, Mark Ackerman, Volkmar Pipek, and Volker Wulf, Editors; Cambridge, MA: MIT Press (2003).

Innovations in Knowledge Management, Bonnie Montano, Editor; Hershey, PA: IRM Press (2005).

Business Intelligence for the Enterprise, by Mike Biere; Upper Saddle River, NJ: Prentice Hall, (2003).     

On the behaviour of body-centred cubic metals to one-dimensional shock loading

The response of metallic materials to shock loading, like all loading regimes, is controlled largely by factors operating at the microscopic or atomic levels. Over the past few years, face-centred cubic (fcc) metals have received a level of attention where the role of features such as stacking fault energy and precipitation hardening have been investigated. We now turn our attention to body-centred cubic (bcc) metals. In the past, only tantalum, tungsten, and their alloys have received significant attention at high strain-rate conditions due to their use by the ordnance community. In particular, this investigation examines the shear strength of these materials at shock loading conditions. Previous results on tantalum, tungsten, and a tungsten heavy alloy are reviewed, and more recent experiments on niobium, molybdenum, and Ta–2.5 wt% W presented. Results are discussed in terms of known deformation mechanisms and variations of Peierl’s stress.     

Constructing efficient substructure-based preconditioners for BEM systems of equations

In this work, a generic substructuring algorithm is employed to construct global block-diagonal preconditioners for BEM systems of equations. In this strategy, the allowable fill-in positions are those on-diagonal block matrices corresponding to each BE subregion. As these subsystems are independently assembled, the preconditioner for a particular BE model, after the LU decomposition of all subsystem matrices, is easily formed. So as to highlight the efficiency of the preconditioning proposed, the Bi-CG solver, which presents a quite erratic convergence behavior, is considered. In the particular applications of this paper, 3D representative volume elements (RVEs) of carbon-nanotube (CNT) composites are analyzed. The models contain up to several tens of thousands of degrees of freedom. The efficiency and relevance of the preconditioning technique is also discussed in the context of developing general (parallel) BE codes.     

A provably secure and efficient two‐party password‐based explicit authenticated key exchange protocol resistance to password guessing attacks

Password‐based two‐party authenticated key exchange (2PAKE) protocol enables two or more entities, who only share a low‐entropy password between them, to authenticate each other and establish a high‐entropy secret session key. Recently, Zheng et al. proposed a password‐based 2PAKE protocol based on bilinear pairings and claimed that their protocol is secure against the known security attacks. However, in this paper, we indicate that the protocol of Zheng et al. is insecure against the off‐line password guessing attack, which is a serious threat to such protocols. Consequently, we show that an attacker who obtained the users' password by applying the off‐line password guessing attack can easily obtain the secret session key. In addition, the protocol of Zheng et al. does not provide the forward secrecy of the session key. As a remedy, we also improve the protocol of Zheng et al. and prove the security of our enhanced protocol in the random oracle model. The simulation result shows that the execution time of our 2PAKE protocol is less compared with other existing protocols. Copyright © 2015 John Wiley & Sons, Ltd.     

Optimal design program for gravity sanitary sewers

The development and implementation of a Fortran computer program called OGSDP to design a least-cost gravity sanitary sewer system are presented. OGSDP is a model that finds the least-cost design for a non-looping, gravity sanitary sewerage system for a given set of design parameters, costs and lay-out. The final design is the least-cost combination of pipe sizes, upstream and downstream invert elevations (of each pipe) and the corresponding manhole sizes. OGSDP respects most Ten States Standards' (1978) design guidelines. OGSDP determines an initial sewer system design using a heuristic procedure, and then improves the design using discrete dynamic programming with successive approximations to obtain the final least-cost design. It is a practical and efficient tool in the design of sanitary sewer systems.