5,585 research outputs found
A Typed Model for Dynamic Authorizations
Security requirements in distributed software systems are inherently dynamic.
In the case of authorization policies, resources are meant to be accessed only
by authorized parties, but the authorization to access a resource may be
dynamically granted/yielded. We describe ongoing work on a model for specifying
communication and dynamic authorization handling. We build upon the pi-calculus
so as to enrich communication-based systems with authorization specification
and delegation; here authorizations regard channel usage and delegation refers
to the act of yielding an authorization to another party. Our model includes:
(i) a novel scoping construct for authorization, which allows to specify
authorization boundaries, and (ii) communication primitives for authorizations,
which allow to pass around authorizations to act on a given channel. An
authorization error may consist in, e.g., performing an action along a name
which is not under an appropriate authorization scope. We introduce a typing
discipline that ensures that processes never reduce to authorization errors,
even when authorizations are dynamically delegated.Comment: In Proceedings PLACES 2015, arXiv:1602.0325
Dynamic Role Authorization in Multiparty Conversations
Protocol specifications often identify the roles involved in communications.
In multiparty protocols that involve task delegation it is often useful to
consider settings in which different sites may act on behalf of a single role.
It is then crucial to control the roles that the different parties are
authorized to represent, including the case in which role authorizations are
determined only at runtime. Building on previous work on conversation types
with flexible role assignment, here we report initial results on a typed
framework for the analysis of multiparty communications with dynamic role
authorization and delegation. In the underlying process model, communication
prefixes are annotated with role authorizations and authorizations can be
passed around. We extend the conversation type system so as to statically
distinguish processes that never incur in authorization errors. The proposed
static discipline guarantees that processes are always authorized to
communicate on behalf of an intended role, also covering the case in which
authorizations are dynamically passed around in messages.Comment: In Proceedings BEAT 2014, arXiv:1408.556
Variable gamma-ray emission from the Be/X-ray transient A0535+26?
We present a study of the unidentified gamma-ray source 3EG J0542+2610. This
source is spatially superposed to the supernova remnant G180.0-1.7, but its
time variability makes unlikely a physical link. We have searched into the
EGRET location error box for compact radio sources that could be the low energy
counterpart of the gamma-ray source. Although 29 point-like radio sources were
detected and measured, none of them is strong enough as to be considered the
counterpart of a background gamma-ray emitting AGN. We suggest that the only
object within the 95 % error box capable of producing the required gamma-ray
flux is the X-ray transient A0535+26. We show that this Be/accreting pulsar can
produce variable hadronic gamma-ray emission through the mechanism originally
proposed by Cheng & Ruderman (1989), where a proton beam accelerated in a
magnetospheric electrostatic gap impacts the transient accretion disk.Comment: 6 pages, 3 figures, Astronomy & Astrophysics in pres
Calpain 3 and CaMKIIβ signaling are required to induce HSP70 necessary for adaptive muscle growth after atrophy.
Mutations in CAPN3 cause autosomal recessive limb girdle muscular dystrophy 2A. Calpain 3 (CAPN3) is a calcium dependent protease residing in the myofibrillar, cytosolic and triad fractions of skeletal muscle. At the triad, it colocalizes with calcium calmodulin kinase IIβ (CaMKIIβ). CAPN3 knock out mice (C3KO) show reduced triad integrity and blunted CaMKIIβ signaling, which correlates with impaired transcriptional activation of myofibrillar and oxidative metabolism genes in response to running exercise. These data suggest a role for CAPN3 and CaMKIIβ in gene regulation that takes place during adaptation to endurance exercise. To assess whether CAPN3- CaMKIIβ signaling influences skeletal muscle remodeling in other contexts, we subjected C3KO and wild type mice to hindlimb unloading and reloading and assessed CaMKIIβ signaling and gene expression by RNA-sequencing. After induced atrophy followed by 4 days of reloading, both CaMKIIβ activation and expression of inflammatory and cellular stress genes were increased. C3KO muscles failed to activate CaMKIIβ signaling, did not activate the same pattern of gene expression and demonstrated impaired growth at 4 days of reloading. Moreover, C3KO muscles failed to activate inducible HSP70, which was previously shown to be indispensible for the inflammatory response needed to promote muscle recovery. Likewise, C3KO showed diminished immune cell infiltration and decreased expression of pro-myogenic genes. These data support a role for CaMKIIβ signaling in induction of HSP70 and promotion of the inflammatory response during muscle growth and remodeling that occurs after atrophy, suggesting that CaMKIIβ regulates remodeling in multiple contexts: endurance exercise and growth after atrophy
Supernova remnants and gamma-ray sources
A review of the possible relationship between gamma-ray sources and supernova
remnants (SNRs) is presented. Particular emphasis is given to the analysis of
the observational status of the problem of cosmic ray acceleration at SNR shock
fronts. All positional coincidences between SNRs and unidentified gamma-ray
sources listed in the Third EGRET Catalog at low Galactic latitudes are
discussed on a case by case basis. For several coincidences of particular
interest, new CO(J=1-0) and radio continuum maps are shown, and the mass
content of the SNR surroundings is determined. The contribution to the
gamma-ray flux observed that might come from cosmic ray particles (particularly
nuclei) locally accelerated at the SNR shock fronts is evaluated. We discuss
the prospects for future research in this field and remark on the possibilities
for observations with forthcoming gamma-ray instruments.Comment: Final version of a review article, to appear in the Physics Reports
(82 pages, 31 figures). Figures requiring high quality are just too large and
too many to be included here. Please download them from
http://www.angelfire.com/id/dtorres/down3.htm
- …