Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,190,212 papers from all fields of science
Search
Sign In
Create Free Account
SecPAL
SecPAL is a declarative, logic-based, security policy language that has been developed to support the complex access control requirements of large…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Access control
Andrew D. Gordon
Datalog
Distributed computing
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Constitución del grupo de Cuidados Paliativos Pediátricos de la Fundación HOMI – Hospital de la Misericordia, hospital pediátrico en la ciudad de Bogotá, Colombia
Luis Ricardo González-Cruz
2016
Corpus ID: 57273365
The pediatric palliative care (PPC) is the best way to offer a holistic attention and support to these children with life…
Expand
2014
2014
El trabajo en equipo de los equipos multidisciplinares de cuidados paliativos: análisis de la realidad española
B. Gutiérrez
,
J. Javier.
2014
Corpus ID: 163537876
El objetivo es estudiar la realidad de los equipos y del trabajo en equipo de los profesionales de Cuidados Paliativos (CP) en…
Expand
2014
2014
Towards an Authorization Framework for App Security Checking
Joseph Hallett
,
David Aspinall
ESSoS Doctoral Symposium
2014
Corpus ID: 28380318
Apps don’t come with any guarantees that they are not malicious. This paper introduces a PhD project designing the authorization…
Expand
2010
2010
Yuri, Logic, and Computer Science
A. Blass
,
N. Dershowitz
,
W. Reisig
Fields of Logic and Computation
2010
Corpus ID: 17974883
Yuri Gurevich was born on May 7, 1940, in Nikolayev, Ukraine, which was a part of Soviet Union at the time. A year later, World…
Expand
2010
2010
A Policy Based Infrastructure for Social Data Access with Privacy Guarantees
Palanivel A. Kodeswaran
,
E. Viegas
IEEE International Symposium on Policies for…
2010
Corpus ID: 708433
We present a policy based infrastructure for social data access with the goal of enabling scientific research, while preserving…
Expand
2009
2009
Specifying and Composing Non-functional Requirements in Model-Based Development
Ethan K. Jackson
,
D. Seifert
,
M. Dahlweid
,
T. Santen
,
Nikolaj S. Bjørner
,
Wolfram Schulte
SC@TOOLS
2009
Corpus ID: 2690521
Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints…
Expand
2009
2009
An Abductive Protocol for Authorization Credential Gathering in Distributed Systems
Moritz Y. Becker
,
Jason F. Mackay
,
B. Dillaway
2009
Corpus ID: 15776195
The problem of authorization in large-scale decentralized systems has been addressed by a number of logic-based policy languages…
Expand
2009
2009
Can Access Control be Extended to Deal with Data Handling in Privacy Scenarios
Laurent Bussard
,
Moritz Y. Becker
2009
Corpus ID: 15186321
In this position paper, we claim that access control policy languages can be extended to address data handling. Indeed, matching…
Expand
2007
2007
SECPAL: nuestros compromisos
X. GómezBatiste
2007
Corpus ID: 57877834
2006
2006
SecPAL : Design and Semantics of a Decentralized Authorization Language
Jason Hogg
,
Brian A. LaMacchia
2006
Corpus ID: 261905529
We present a declarative authorization language. Policies and credentials are expressed using predicates defined by logical…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE