Poster Abstract: Permissiveness for Strategy Adaptation
Abstract
References
Recommendations
Measuring permissiveness in parity games: mean-payoff parity games revisited
ATVA'11: Proceedings of the 9th international conference on Automated technology for verification and analysisWe study nondeterministic strategies in parity games with the aim of computing a most permissive winning strategy. Following earlier work, we measure permissiveness in terms of the average number/ weight of transitions blocked by a strategy. Using a ...
POSTER: Analyzing Access Control Policies with SMT
CCS '14: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications SecurityThe flexibility and expressiveness of eXtensible Access Control Markup Language (XACML) allows the specification of a wide range of policies in different access control models. However, XACML policies are often verbose and, thus, prone to errors. ...
Poster: collaborative policy administration
CCS '11: Proceedings of the 18th ACM conference on Computer and communications securityPolicy driven management is widely used to manage networked resources and protect sensitive resources. Existing policy-driven management strategies rely heavily on policy administrators to specify and validate policies, which not only require in depth ...
Comments
Information & Contributors
Information
Published In
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Poster
- Research
- Refereed limited
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 41Total Downloads
- Downloads (Last 12 months)14
- Downloads (Last 6 weeks)1
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML Format