1,094 research outputs found
The Wings of the Remarkable Archaic Mecopteron Notiothauma Reedi Mclachlan With Remarks on Their Protoblattoid Affinities
Remarks on the Basic Plan of the Terminal Abdominal Structures of the Males of Winged Insects
n/
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
A Phylogenetic Study of the Mesothoracic Terga and Wing Bases in Hymenoptera, Neuroptera, Mecoptera, Diptera, Trichoptera and Lepidoptera
The Genitalia and Terminal Abdominal Structures of Male Neuroptera and Mecoptera With Notes on the Psocidae, Diptera and Trichoptera
A Comparison of the External Anatomy of the Lower Lepidoptera and Trichoptera From the Standpoint of Phylogeny
- …