-
1
-
-
0020849266
-
Maintaining knowledge about temporal intervals
-
Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26 (11), 832-843 (1983)
-
(1983)
Commun. ACM
, vol.26
, Issue.11
, pp. 832-843
-
-
Allen, J.F.1
-
2
-
-
33745154198
-
Authentication, authorization and access control
-
Apache Software Foundation
-
Apache Software Foundation. Authentication, authorization and access control. Apache HTTP Server Version 2.1 Documentation, http://httpd.apache.org/docs-2.1/ (2004)
-
(2004)
Apache HTTP Server Version 2.1 Documentation
-
-
-
3
-
-
33745121588
-
On formal languages for sequences of authorization transformations
-
Lecture Notes in Computer Science
-
Bai, Y., Varadharajan, V.: On formal languages for sequences of authorization transformations. In: Proceedings of Safety, Reliability and Security of Computer Systems. Lecture Notes in Computer Science, vol. 1698, pp. 375-384 (1999)
-
(1999)
Proceedings of Safety, Reliability and Security of Computer Systems
, vol.1698
, pp. 375-384
-
-
Bai, Y.1
Varadharajan, V.2
-
4
-
-
0038587655
-
On transformation of authorization policies
-
Bai, Y., Varadharajan, V.: On transformation of authorization policies. Data Knowledge Eng. 45 (3), 333-357 (2003)
-
(2003)
Data Knowledge Eng
, vol.45
, Issue.3
, pp. 333-357
-
-
Bai, Y.1
Varadharajan, V.2
-
5
-
-
0242387397
-
-
Cambridge University Press, UK
-
Baral, C.: Knowledge, Representation, Reasoning and Declarative Problem Solving, pp. 99-100. Cambridge University Press, UK (2003)
-
(2003)
Knowledge, Representation, Reasoning and Declarative Problem Solving
, pp. 99-100
-
-
Baral, C.1
-
6
-
-
0033725849
-
A logic-based approach for enforcing access control
-
Bertino, E., Buccafurri, F., Ferrari, E., Rullo, P.: A logic-based approach for enforcing access control. J. Comput. Security 8 (2-3), 109-140 (2000)
-
(2000)
J. Comput. Security
, vol.8
, Issue.2-3
, pp. 109-140
-
-
Bertino, E.1
Buccafurri, F.2
Ferrari, E.3
Rullo, P.4
-
7
-
-
13244270772
-
Policy monitoring with user-preferences in PDL
-
Bertino, E., Mileo, A., Provetti, A.: Policy monitoring with user-preferences in PDL. In: Proceedings of IJCAI-03 Workshop for Nonmonotonic Reasoning, Action and Change, pp. 37-44 (2003)
-
(2003)
Proceedings of IJCAI-03 Workshop for Nonmonotonic Reasoning, Action and Change
, pp. 37-44
-
-
Bertino, E.1
Mileo, A.2
Provetti, A.3
-
8
-
-
0002822343
-
A logic programming approach to conflict resolution in policy management
-
Chomicki, J., Lobo, J., Naqvi, S.: A logic programming approach to conflict resolution in policy management. In: Proceedings of KR2000, 7th International Conference on Principles of Knowledge Representation and Reasoning, pp. 121-132 (2000)
-
(2000)
Proceedings of KR2000, 7th International Conference on Principles of Knowledge Representation and Reasoning
, pp. 121-132
-
-
Chomicki, J.1
Lobo, J.2
Naqvi, S.3
-
10
-
-
33745118713
-
Web server authorisation with the policyupdater access control system
-
Crescini, V.F., Zhang, Y., Wang, W.: Web server authorisation with the policyupdater access control system. In: Proceedings of the 2004 IADIS WWW/Internet Conference, vol. 2, pp. 945-948 (2004)
-
(2004)
Proceedings of the 2004 IADIS WWW/Internet Conference
, vol.2
, pp. 945-948
-
-
Crescini, V.F.1
Zhang, Y.2
Wang, W.3
-
13
-
-
0001619596
-
Flexible support for multiple access control policies
-
Jajodia, S., Samarati, P., Sapino, M.L., Subrahmanian, V.S.: Flexible support for multiple access control policies. ACM Trans. Database Syst. 29 (2), 214-260 (2001)
-
(2001)
ACM Trans. Database Syst.
, vol.29
, Issue.2
, pp. 214-260
-
-
Jajodia, S.1
Samarati, P.2
Sapino, M.L.3
Subrahmanian, V.S.4
-
14
-
-
4243200419
-
Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra
-
Krokhin, A., Jeavons, P., Jonsson, P.: Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra. J. ACM 50 (5), 591-640 (2003)
-
(2003)
J. ACM
, vol.50
, Issue.5
, pp. 591-640
-
-
Krokhin, A.1
Jeavons, P.2
Jonsson, P.3
-
16
-
-
0041524661
-
Delegation logic: A logic-based approach to distributed authorization
-
Li, N., GrosAf, B.N., Feigenbaum, J.: Delegation logic: a logic-based approach to distributed authorization. ACM Trans. Inform. Syst. Security (TISSEC) 6 (1), 128-171 (2003)
-
(2003)
ACM Trans. Inform. Syst. Security (TISSEC)
, vol.6
, Issue.1
, pp. 128-171
-
-
Li, N.1
Grosof, B.N.2
Feigenbaum, J.3
-
18
-
-
0032596611
-
A policy description language
-
Lobo, J., Bhatia, R., Naqvi, S.: A policy description language. In: Proceedings of AAAI 16th National Conference on Artificial Intelligence and 11th Conference on Innovative Applications of Artificial Intelligence, pp. 291-298 (1999)
-
(1999)
Proceedings of AAAI 16th National Conference on Artificial Intelligence and 11th Conference on Innovative Applications of Artificial Intelligence
, pp. 291-298
-
-
Lobo, J.1
Bhatia, R.2
Naqvi, S.3
-
19
-
-
33745154531
-
-
Network Working Group. HTTP 1.1 (RFC 2616). The Internet Society ftp://ftp.isi.edu/in-notes/rfc2616.txt
-
Network Working Group. HTTP 1.1 (RFC 2616). The Internet Society, ftp://ftp.isi.edu/in-notes/rfc2616.txt (1999)
-
(1999)
-
-
-
21
-
-
33745138828
-
Efficient implementation of the stable model semantics for normal logic programs
-
Research Reports Number A35, Helsinki University of Technology
-
Simons, P.: Efficient implementation of the stable model semantics for normal logic programs. Research Reports Number A35, Helsinki University of Technology, http://www.tcs.hut.fi/Publications/reports/A35.ps.Z (1995)
-
(1995)
-
-
Simons, P.1
|