Automated Certification of Authorisation Policy Resistance

Attribute-based Access Control (ABAC) extends traditional Access Control by considering an access request as a set of pairs attribute name-value, making it particularly useful in the context of open and distributed systems, where security relevant information can be collected from different sources. However, ABAC enables attribute hiding attacks, allowing an attacker to gain some access by withholding information. In this paper, we first introduce the notion of policy resistance to attribute hiding attacks. We then propose the tool ATRAP (Automatic Term Rewriting for Authorisation Policies), based on the recent formal ABAC language PTaCL, which first automatically searches for resistance counter-examples using Maude, and then automatically searches for an Isabelle proof of resistance. We illustrate our approach with two simple examples of policies and propose an evaluation of ATRAP performances.Comment: 20 pages, 4 figures, version including proofs of the paper that will be presented at ESORICS 201

High-Resolution spectroscopy of the low-mass X-ray binary EXO 0748-67

We present initial results from observations of the low-mass X-ray binary EXO 0748-67 with the Reflection Grating Spectrometer on board the XMM-Newton Observatory. The spectra exhibit discrete structure due to absorption and emission from ionized neon, oxygen, and nitrogen. We use the quantitative constraints imposed by the spectral features to develop an empirical model of the circumsource material. This consists of a thickened accretion disk with emission and absorption in the plasma orbiting high above the binary plane. This model presents challenges to current theories of accretion in X-ray binary systems.Comment: 5 pages, 4 figures, accepted by A&A letters, XMM special issu

Trigonometric Parallaxes of Massive Star Forming Regions: II. Cep A & NGC 7538

We report trigonometric parallaxes for the sources NGC 7538 and Cep A, corresponding to distances of 2.65 [+0.12/-0.11] kpc and 0.70 [+0.04/-0.04] kpc, respectively. The distance to NGC 7538 is considerably smaller than its kinematic distance and places it in the Perseus spiral arm. The distance to Cep A is also smaller than its kinematic distance and places it in the Local arm or spur. Combining the distance and proper motions with observed radial velocities gives the location and full space motion of the star forming regions. We find significant deviations from circular Galactic orbits for these sources: both sources show large peculiar motions (> 10 km/s) counter to Galactic rotation and NGC 7538 has a comparable peculiar motion toward the Galactic center.Comment: 21 pages, 8 figures; to appear in the Astrophysical Journa

AGN in the XMM-Newton first-light image as probes for the interstellar medium in the LMC

The XMM-Newton first-light image revealed X-ray point sources which show heavily absorbed power-law spectra. The spectral indices and the probable identification of a radio counterpart for the brightest source suggest AGN shining through the interstellar gas of the Large Magellanic Cloud (LMC). The column densities derived from the X-ray spectra in combination with HI measurements will allow to draw conclusions on HI to H_2 ratios in the LMC and compare these with values found for the galactic plane.Comment: 4 pages, LaTex, 4 figures, Accepted for publication in A&A Letter

The Impact of Exploring Computer Science in Wisconsin: Where Disadvantage is an Advantage

Assessing the impact of regional or statewide interventions in primary and secondary school (K-12) computer science (CS) education is difficult for a variety of reasons. Qualitative survey data provide only a limited view of impacts, but quantitative data can be notoriously difficult to acquire at scale from large numbers of classrooms, schools, or local educational authorities. In this paper, we use several publicly available data sources to glean insights into public high school CS enrollments across an entire U.S. state. Course enrollments with NCES course codes and local descriptors, school-level demographic data, and school geographic attendance boundaries can be combined to highlight where CS offerings persist and thrive, how CS enrollments change over time, and the ultimate quantitative impact of a statewide intervention. We propose a more appropriate level of data aggregation for these types of quantitative studies than has been undertaken in previous work while demonstrating the importance of a contextual aggregation process. The results of our disparate impact analysis for the first time quantify the impact of a statewide Exploring Computer Science (ECS) program rollout on economic groups across the region. Our blueprint for this analysis can serve as a template to guide and assess large-scale K-12 CS interventions wherever detailed project evaluation methods cannot scale to encompass the entire study area, especially in cases where attribute heterogeneity is a significant issue

The Gemini Deep Deep Survey: II. Metals in Star-Forming Galaxies at Redshift 1.3<z<2

The goal of the Gemini Deep Deep Survey (GDDS) is to study an unbiased sample of K<20.6 galaxies in the redshift range 0.8<z<2.0. Here we determine the statistical properties of the heavy element enrichment in the interstellar medium (ISM) of a subsample of 13 galaxies with 1.34<z<1.97 and UV absolute magnitude M_2000 < -19.65. The sample contains 38% of the total number of identified galaxies in the first two fields of the survey with z>1.3. The selected objects have colors typical of irregular and Sbc galaxies. Strong [OII] emission indicates high star formation activity in the HII regions (SFR~13-106 M_sun/yr). The high S/N composite spectrum shows strong ISM MgII and FeII absorption, together with weak MnII and MgI lines. The FeII column density, derived using the curve of growth analysis, is logN_FeII = 15.54^{+0.23}_{-0.13}. This is considerably larger than typical values found in damped Ly-alpha systems (DLAs) along QSO sight lines, where only 10 out of 87 (~11%) have logN_FeII > 15.2. High FeII column densities are observed in the z=2.72 Lyman break galaxy cB58 (logN_FeII ~ 15.25) and in gamma-ray burst host galaxies (logN_FeII ~ 14.8-15.9). Given our measured FeII column density and assuming a moderate iron dust depletion (delta_Fe ~ 1 dex), we derive an optical dust extinction A_V ~ 0.6. If the HI column density is log N(HI)<21.7 (as in 98% of DLAs), then the mean metallicity is Z/Z_sun > 0.2. The high completeness of the GDDS sample implies that these results are typical of star-forming galaxies in the 1<z<2 redshift range, an epoch which has heretofore been particularly challenging for observational programs.Comment: ApJ in press, corrected HI column density estimat

NGC 3576 and NGC 3603: Two Luminous Southern HII Regions Observed at High Resolution with the Australia Telescope Compact Array

NGC 3576 (G291.28-0.71; l=291.3o, b=-0.7o) and NGC 3603 (G291.58-0.43; l=291.6o, b=-0.5o) are optically visible, luminous HII regions located at distances of 3.0 kpc and 6.1 kpc, respectively. We present 3.4 cm Australian Telescope Compact Array (ATCA) observations of these two sources in the continuum and the H90a, He90a, C90a and H113b recombination lines with an angular resolution of 7" and a velocity resolution of 2.6 km/s. All four recombination lines are detected in the integrated profiles of the two sources. Broad radio recombination lines are detected in both NGC 3576 (DV_{FWHM}>= 50 km/s) and NGC 3603 (DV_{FWHM}>=70 km/s). In NGC 3576 a prominent N-S velocity gradient (~30 km/s/pc) is observed, and a clear temperature gradient (6000 K to 8000 K) is found from east to west, consistent with a known IR color gradient in the source. In NGC 3603, the H90a, He90a and the H113b lines are detected from 13 individual sources. The Y^+ (He/H) ratios in the two sources range from 0.08+/-0.04 to 0.26+/-0.10. We compare the morphology and kinematics of the ionized gas at 3.4 cm with the distribution of stars, 10 micron emission and H_2O, OH, and CH_3OH maser emission. These comparisons suggest that both NGC 3576 and NGC 3603 have undergone sequential star formation.Comment: 24 pages, 12 Postscript figure