Security Policy Specification Using a Graphical Approach

A security policy states the acceptable actions of an information system, as the actions bear on security. There is a pressing need for organizations to declare their security policies, even informal statements would be better than the current practice. But, formal policy statements are preferable to support (1) reasoning about policies, e.g., for consistency and completeness, (2) automated enforcement of the policy, e.g., using wrappers around legacy systems or after the fact with an intrusion detection system, and (3) other formal manipulation of policies, e.g., the composition of policies. We present LaSCO, the Language for Security Constraints on Objects, in which a policy consists of two parts: the domain (assumptions about the system) and the requirement (what is allowed assuming the domain is satisfied). Thus policies defined in LaSCO have the appearance of conditional access control statements. LaSCO policies are specified as expressions in logic and as directed graphs, giving a visual view of policy. LaSCO has a simple semantics in first order logic (which we provide), thus permitting policies we write, even for complex policies, to be very perspicuous. LaSCO has syntax to express many of the situations we have found to be useful on policies or, more interesting, the composition of policies. LaSCO has an object-oriented structure, permitting it to be useful to describe policies on the objects and methods of an application written in an object-oriented language, in addition to the traditional policies on operating system objects. A LaSCO specification can be automatically translated into executable code that checks an invocation of a program with respect to a policy. The implementation of LaSCO is in Java, and generates wrappers to check Java programs with respect to a policy.Comment: 28 pages, 22 figures, in color (but color is not essential for viewing); UC Davis CS department technical report (July 22, 1998

Elevated glutamatergic compounds in pregenual anterior cingulate in pediatric autism spectrum disorder demonstrated by 1H MRS and 1H MRSI.

Recent research in autism spectrum disorder (ASD) has aroused interest in anterior cingulate cortex and in the neurometabolite glutamate. We report two studies of pregenual anterior cingulate cortex (pACC) in pediatric ASD. First, we acquired in vivo single-voxel proton magnetic resonance spectroscopy ((1)H MRS) in 8 children with ASD and 10 typically developing controls who were well matched for age, but with fewer males and higher IQ. In the ASD group in midline pACC, we found mean 17.7% elevation of glutamate + glutamine (Glx) (p<0.05) and 21.2% (p<0.001) decrement in creatine + phosphocreatine (Cr). We then performed a larger (26 subjects with ASD, 16 controls) follow-up study in samples now matched for age, gender, and IQ using proton magnetic resonance spectroscopic imaging ((1)H MRSI). Higher spatial resolution enabled bilateral pACC acquisition. Significant effects were restricted to right pACC where Glx (9.5%, p<0.05), Cr (6.7%, p<0.05), and N-acetyl-aspartate + N-acetyl-aspartyl-glutamate (10.2%, p<0.01) in the ASD sample were elevated above control. These two independent studies suggest hyperglutamatergia and other neurometabolic abnormalities in pACC in ASD, with possible right-lateralization. The hyperglutamatergic state may reflect an imbalance of excitation over inhibition in the brain as proposed in recent neurodevelopmental models of ASD

Single-neuron RNA-Seq: technical feasibility and reproducibility

Understanding brain function involves improved knowledge about how the genome specifies such a large diversity of neuronal types. Transcriptome analysis of single neurons has been previously described using gene expression microarrays. Using high-throughput transcriptome sequencing (RNA-Seq), we have developed a method to perform single-neuron RNA-Seq. Following electrophysiology recording from an individual neuron, total RNA was extracted by aspirating the cellular contents into a fine glass electrode tip. The mRNAs were reverse transcribed and amplified to construct a single neuron cDNA library, and subsequently subjected to high-throughput sequencing. This approach was applicable to both individual neurons cultured from embryonic mouse hippocampus, as well as neocortical neurons from live brain slices. We found that the average pairwise Spearman’s rank correlation coefficient of gene expression level expressed as RPKM (reads per kilobase of transcript per million mapped reads) was 0.51 between five cultured neuronal cells, whereas the same measure between three cortical layer V neurons in situ was 0.25. The data suggest that there may be greater heterogeneity of the cortical neurons, as compared to neurons in vitro. The results demonstrate the technical feasibility and reproducibility of RNA-Seq in capturing a part of the transcriptome landscape of single neurons, and confirmed that morphologically identical neurons, even from the same region, have distinct gene expression patterns

Development and Launch of the World\u27s First Orbital Propellant Tanker

This paper describes the development of Orbit Fab’s Tanker-001 Tenzing mission, the world’s first orbital propellant tanker. The development of a robust orbital propellant supply chain is critical to accelerating the growth of government and commercial space activities. The widespread availability of spacecraft refueling has the potential to provide a number of revolutionary benefits. High-value space assets could have their operational lives extended, as they would no longer be constrained by the amount of propellant stored onboard for maneuvering. On-orbit servicing missions would become more efficient, as servicing vehicles could be refueled and repeatedly used. A large orbital propellant supply would also enable new mission and business models based on operational flexibility and frequent maneuvering. These benefits would be particularly impactful on small satellites, where the ability to refuel could overcome the operational constraints of having smaller propellant tanks. This will greatly expand the market for small spacecraft as it increases their range of missions and capabilities. Launching no earlier than June 24, 2021, Tenzing is a 35 kg small satellite with an Astro Digital bus carrying a supply of storable propellant, high test peroxide (HTP). Tenzing’s propellant supply is being offered to customers for refueling and used to gather data on propellant storage. In addition to being the first propellant tanker, Tenzing is also an orbital laboratory including a variety of payloads intended to test key technologies for refueling. This includes the first flight of Orbit Fab’s Rapidly Attachable Fluid Transfer Interface (RAFTI), a stereo camera system, and a Halcyon HTP propulsion system designed and built by Benchmark Space Systems for orbital maneuvers. The latter two elements can be used to test rendezvous and flyby maneuvers, providing data to support the development of full rendezvous, proximity operations, and docking (RPOD) systems for future Orbit Fab missions

On the conservation of the slow conformational dynamics within the amino acid kinase family: NAGK the paradigm

N-Acetyl-L-Glutamate Kinase (NAGK) is the structural paradigm for examining the catalytic mechanisms and dynamics of amino acid kinase family members. Given that the slow conformational dynamics of the NAGK (at the microseconds time scale or slower) may be rate-limiting, it is of importance to assess the mechanisms of the most cooperative modes of motion intrinsically accessible to this enzyme. Here, we present the results from normal mode analysis using an elastic network model representation, which shows that the conformational mechanisms for substrate binding by NAGK strongly correlate with the intrinsic dynamics of the enzyme in the unbound form. We further analyzed the potential mechanisms of allosteric signalling within NAGK using a Markov model for network communication. Comparative analysis of the dynamics of family members strongly suggests that the low-frequency modes of motion and the associated intramolecular couplings that establish signal transduction are highly conserved among family members, in support of the paradigm sequence→structure→dynamics→function © 2010 Marcos et al

Altered orbitofrontal sulcogyral pattern in schizophrenia

Orbitofrontal alteration in schizophrenia has not been well characterized, likely due to marked anatomical variability. To investigate the presence of such alterations, we evaluated the sulcogyral pattern of this ‘H-shaped’ sulcus. Fifty patients with schizophrenia (100 hemispheres) and 50 age- and gender-matched control subjects (100 hemispheres) were evaluated using 3D high-spatial resolution MRI. Based on a previous study by Chiavaras and Petrides (2000), the sulcogyral pattern of the ‘H-shaped’ sulcus, which forms the boundaries of major orbitofrontal gyri, was classified into three types (Type I, II and III, in order of frequency) within each hemisphere. Chi-square analysis was performed to compare the sulcogyral pattern, and categorical regression was applied to investigate clinical/cognitive associations. The control data replicated the orbitofrontal sulcogyral pattern reported by Chiavaras and Petrides (P = 0.90–0.95), where the distribution was significantly different between the left and right hemisphere (Type I: right>left, Type II, III: left>right, χ2 = 6.41, P = 0.041). For schizophrenics, the distribution differed significantly from controls (χ2 = 11.90, P = 0.003), especially in the right hemisphere (χ2 = 13.67, P = 0.001). Moreover, the asymmetry observed in controls was not present in schizophrenia (χ2 = 0.13, P = 0.94). Specifically, the most frequent Type I expression was decreased and the rarest Type III expression was increased in schizophrenia, relative to controls. Furthermore, patients with Type III expression in any hemisphere evinced poorer socioeconomic status, poorer cognitive function, more severe symptoms and impulsivity, compared to patients without Type III expression. In contrast, patients with Type I in any hemisphere showed better cognitive function and milder symptoms compared to patients without Type I. Structurally, patients with Type III had significantly smaller intra-cranial contents (ICC) volumes than did patients without Type III (t40 = 2.29, P = 0.027). The present study provides evidence of altered distribution of orbitofrontal sulcogyral pattern in schizophrenia, possibly reflecting a neurodevelopmental aberration in schizophrenia. Such altered sulcogyral pattern is unlikely to be due to secondary effects of the illness such as medication. Moreover, the structural association between Type III and small ICC volume, observed in the patient group, may suggest that Type III expression could be part of a systematic neurodevelopmental alteration, given that the small ICC volume could reflect early reduction of cranial growth driven by brain growth. The observed contrasting association of Type III expression with poorer outcome, and that of Type I expression with better outcome, further suggests clinical heterogeneity, and possible differences in treatment responsiveness in schizophrenia