-
1
-
-
0032153903
-
An access control model supporting periodicity contraints and temporal reasoning
-
September
-
E. Bertino, C. Bettini, E. Ferrari, P. Samarati, "An Access Control Model Supporting Periodicity Contraints and Temporal Reasoning", ACM Transactions on Database Systems, Volume 23, Number 3, September 1998.
-
(1998)
ACM Transactions on Database Systems
, vol.23
, Issue.3
-
-
Bertino, E.1
Bettini, C.2
Ferrari, E.3
Samarati, P.4
-
2
-
-
84958752778
-
Dealing with multi-policy security in distributed systems
-
Belgium, September
-
C. Bidan, V. Issarny, "Dealing with Multi-Policy Security in Distributed Systems", Proceedings of the Fifth European Symposium on Research in Computer Security (ESORICS '98), Volume 1485, Lecture Notes in Computer Science (LNCS), Belgium, September 1998.
-
(1998)
Proceedings of the Fifth European Symposium on Research in Computer Security (ESORICS '98), Lecture Notes in Computer Science (LNCS)
, vol.1485
-
-
Bidan, C.1
Issarny, V.2
-
3
-
-
84936855973
-
Events in property patterns
-
Springer-Verlag, September
-
M. Chechik, D. O. Paun, "Events in Property Patterns", Theoretical and Practical Aspects of SPIN Model Checking, Lecture Notes in Computer Science, Volume 1680, Springer-Verlag, September, 1999.
-
(1999)
Theoretical and Practical Aspects of SPin Model Checking, Lecture Notes in Computer Science
, vol.1680
-
-
Chechik, M.1
Paun, D.O.2
-
4
-
-
0029425954
-
Constraints for role-based access control
-
Maryland, USA, December
-
F. Chen, R. S. Sandhu, "Constraints for Role-Based Access Control", Proceedings of the First ACM/NIST Role-Based Access Control Workshop (RBAC '95), Maryland, USA, December, 1995.
-
(1995)
Proceedings of the First ACM/NIST Role-Based Access Control Workshop (RBAC '95)
-
-
Chen, F.1
Sandhu, R.S.2
-
5
-
-
33750271123
-
-
Ph. D. Thesis, University of Queensland, Brisbane, Australia, September
-
N. Dunlop, "Dynamic Policy-Based Management in Open Distributed Environments", Ph. D. Thesis, University of Queensland, Brisbane, Australia, September, 2002.
-
(2002)
Dynamic Policy-Based Management in Open Distributed Environments
-
-
Dunlop, N.1
-
6
-
-
38649128960
-
Dynamic policy model for large evolving enterprises
-
Seattle, Washington, USA, September
-
N. Dunlop, J. Indulska, K. A. Raymond, "Dynamic Policy Model for Large Evolving Enterprises", Proceedings of the Fifth International Conference on Enterprise Distributed Object Computing (EDOC 2001), Seattle, Washington, USA, September, 2001.
-
(2001)
Proceedings of the Fifth International Conference on Enterprise Distributed Object Computing (EDOC 2001)
-
-
Dunlop, N.1
Indulska, J.2
Raymond, K.A.3
-
7
-
-
71749117200
-
-
DSTC Technical Report, CRC for Enterprise Distributed Systems, University of Queensland, August
-
N. Dunlop, J. Indulska, K. A. Raymond, "A Formal Specification of Conflicts in Dynamic Policy-Based Management Systems", DSTC Technical Report, CRC for Enterprise Distributed Systems, University of Queensland, August, 2001.
-
(2001)
A Formal Specification of Conflicts in Dynamic Policy-Based Management Systems
-
-
Dunlop, N.1
Indulska, J.2
Raymond, K.A.3
-
8
-
-
84937020790
-
Dynamic conflict detection for large evolving enterprises
-
Lausanne, Switzerland, September
-
N. Dunlop, J. Indulska, K. A. Raymond, "Dynamic Conflict Detection for Large Evolving Enterprises", Proceedings of the Sixth International Conference on Enterprise Distributed Object Computing (EDOC 2002), Lausanne, Switzerland, September, 2002.
-
(2002)
Proceedings of the Sixth International Conference on Enterprise Distributed Object Computing (EDOC 2002)
-
-
Dunlop, N.1
Indulska, J.2
Raymond, K.A.3
-
9
-
-
84937020791
-
Investigations into the application of deontic logic
-
August, LNCS, Springer-Verlag
-
N. den Haan, "Investigations into the Application of Deontic Logic", Executable Modal and Temporal Logics, Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), August 1993, LNCS Volume 897, Springer-Verlag.
-
(1993)
Executable Modal and Temporal Logics, Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93)
, vol.897
-
-
Den Haan, N.1
-
11
-
-
0030677524
-
A logical language for expressing authorizations
-
Oakland, California, USA, May, IEEE Press
-
S. Jajodia, P. Samarati, V. S. Subrahmanian, "A Logical Language for Expressing Authorizations", Proceedings of the IEEE Symposium on Security and Privacy, Oakland, California, USA, May 1997, IEEE Press.
-
(1997)
Proceedings of the IEEE Symposium on Security and Privacy
-
-
Jajodia, S.1
Samarati, P.2
Subrahmanian, V.S.3
-
12
-
-
0028424892
-
The temporal logic of actions
-
ACM Press, May
-
L. Lamport, "The Temporal Logic of Actions", Proceedings of the ACM Transactions on Programming Languages and Systems (ACM TOPLAS), Volume 16, Issue 3, ACM Press, May 1994.
-
(1994)
Proceedings of the ACM Transactions on Programming Languages and Systems (ACM TOPLAS)
, vol.16
, Issue.3
-
-
Lamport, L.1
-
13
-
-
84936990985
-
-
North-Holland
-
M. M. Larrondo-Petrie, E. Gudes, H. Song, E. B. Fernandez, Security Policies in Object-Oriented Databases, IFIP Database Security, III: Status and Prospects, North-Holland, 1990.
-
(1990)
Security Policies in Object-Oriented Databases, IFIP Database Security, III: Status and Prospects
-
-
Larrondo-Petrie, M.M.1
Gudes, E.2
Song, H.3
Fernandez, E.B.4
-
14
-
-
84962317395
-
Policies in communities: Extending the ODP enterprise viewpoint
-
La Jolla, California, USA, November
-
P. F. Linington, Z. Milosevic, K. A. Raymond, "Policies in Communities: Extending the ODP Enterprise Viewpoint", Proceedings of the Second International Enterprise Distributed Object Computing Workshop (EDOC '98), La Jolla, California, USA, November 1998.
-
(1998)
Proceedings of the Second International Enterprise Distributed Object Computing Workshop (EDOC '98)
-
-
Linington, P.F.1
Milosevic, Z.2
Raymond, K.A.3
-
19
-
-
0003815918
-
-
Oxford University Press. January
-
Oxford University Press, "Oxford English Dictionary", January, 2000.
-
(2000)
Oxford English Dictionary
-
-
-
20
-
-
19344364618
-
Role-based access control
-
Academic Press
-
R. S. Sandhu, "Role-Based Access Control", Advances in Computing, Volume 46, Academic Press, 1998.
-
(1998)
Advances in Computing
, vol.46
-
-
Sandhu, R.S.1
-
21
-
-
84936992592
-
-
Limited and Cambridge University Press. Edinburgh, UK
-
C. Schwarz, G. Davidson, A. Seaton, V. Tebbit, W. and R. Chambers Limited and Cambridge University Press, "Chambers Cambridge English Dictionary", Edinburgh, UK, 1998.
-
(1998)
Chambers Cambridge English Dictionary
-
-
Schwarz, C.1
Davidson, G.2
Seaton, A.3
Tebbit, W.V.4
Chambers, R.5
-
22
-
-
84884331064
-
Generating human-usable textual notations for information models
-
Seattle, Washington, USA, September
-
J. Steel, K. A. Raymond, "Generating Human-Usable Textual Notations for Information Models", Proceedings of the Fifth International Conference on Enterprise Distributed Object Computing (EDOC 2001), Seattle, Washington, USA, September, 2001.
-
(2001)
Proceedings of the Fifth International Conference on Enterprise Distributed Object Computing (EDOC 2001)
-
-
Steel, J.1
Raymond, K.A.2
|