988 research outputs found
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
- …