ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Formal analysis of usage control policies
Proceedings of the 4th international conference on Security of information and networks - SIN '11
◽
10.1145/2070425.2070466
◽
2011
◽
Author(s):
Boulares Ouchenne
◽
Ousmane Koné
Keyword(s):
Formal Analysis
◽
Control Policies
◽
Usage Control
Download Full-text
Related Documents
Cited By
References
Handling Meta Attribute Information in Usage Control Policies (Short Paper)
Lecture Notes in Computer Science - Emerging Technologies for Authorization and Authentication
◽
10.1007/978-3-030-93747-8_10
◽
2021
◽
pp. 143-151
Author(s):
Theo Dimitrakos
◽
Tezcan Dilshener
◽
Alexander Kravtsov
◽
Antonio La Marra
◽
Fabio Martinelli
◽
...
Keyword(s):
Short Paper
◽
Control Policies
◽
Usage Control
◽
Attribute Information
Download Full-text
Cost-Effective Enforcement of Access and Usage Control Policies Under Uncertainties
IEEE Systems Journal
◽
10.1109/jsyst.2012.2221911
◽
2013
◽
Vol 7
(2)
◽
pp. 223-235
◽
Cited By ~ 2
Author(s):
Leanid Krautsevich
◽
Aliaksandr Lazouski
◽
Fabio Martinelli
◽
Artsiom Yautsiukhin
Keyword(s):
Cost Effective
◽
Control Policies
◽
Usage Control
Download Full-text
A Distributed Authorization System with Mobile Usage Control Policies
Computer Aided Systems Theory – EUROCAST 2011 - Lecture Notes in Computer Science
◽
10.1007/978-3-642-27549-4_8
◽
2012
◽
pp. 56-63
Author(s):
Fabio Martinelli
◽
Paolo Mori
Keyword(s):
Control Policies
◽
Usage Control
◽
Distributed Authorization
Download Full-text
MONPOLY: Monitoring Usage-Control Policies
Runtime Verification - Lecture Notes in Computer Science
◽
10.1007/978-3-642-29860-8_27
◽
2012
◽
pp. 360-364
◽
Cited By ~ 39
Author(s):
David Basin
◽
Matúš Harvan
◽
Felix Klaedtke
◽
Eugen Zălinescu
Keyword(s):
Control Policies
◽
Usage Control
Download Full-text
Dynamic deployment of access and usage control policies using aspects
2015 International Conference on Protocol Engineering (ICPE) and International Conference on New Technologies of Distributed Systems (NTDS)
◽
10.1109/notere.2015.7293500
◽
2015
◽
Author(s):
Samiha Ayed
◽
Muhammad Sabir Idrees
◽
Nora Cuppens-Boulahia
◽
Frederic Cuppens
Keyword(s):
Control Policies
◽
Usage Control
◽
Dynamic Deployment
Download Full-text
Formal Analysis of Access Control Policies for Pattern-Based Business Processes
2009 World Congress on Privacy, Security, Trust and the Management of e-Business
◽
10.1109/congress.2009.18
◽
2009
◽
Cited By ~ 1
Author(s):
Vahid R. Karimi
Keyword(s):
Access Control
◽
Business Processes
◽
Formal Analysis
◽
Control Policies
◽
Access Control Policies
Download Full-text
Concurrent History-based Usage Control Policies
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development
◽
10.5220/0006232506570666
◽
2017
◽
Author(s):
Fabio Martinelli
◽
Ilaria Matteucci
◽
Paolo Mori
◽
Andrea Saracino
Keyword(s):
Control Policies
◽
Usage Control
Download Full-text
Formal Analyses of Usage Control Policies
2009 International Conference on Availability, Reliability and Security
◽
10.1109/ares.2009.100
◽
2009
◽
Cited By ~ 7
Author(s):
Alexander Pretschner
◽
Judith Rüesch
◽
Christian Schaefer
◽
Thomas Walter
Keyword(s):
Control Policies
◽
Usage Control
Download Full-text
xDUCON: Coordinating Usage Control Policies in Distributed Domains
2009 Third International Conference on Network and System Security
◽
10.1109/nss.2009.77
◽
2009
◽
Cited By ~ 5
Author(s):
Giovanni Russello
◽
Naranker Dulay
Keyword(s):
Control Policies
◽
Usage Control
Download Full-text
A Grammar for Specifying Usage Control Policies
2007 IEEE International Conference on Communications
◽
10.1109/icc.2007.232
◽
2007
◽
Cited By ~ 1
Author(s):
R. Teigao
◽
C. Maziero
◽
A. Santin
Keyword(s):
Control Policies
◽
Usage Control
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close