메뉴 건너뛰기




Volumn , Issue , 2009, Pages 187-196

The next 700 access control models or a unifying meta-model?

Author keywords

Access control models; Access control policies

Indexed keywords

ACCESS CONTROL MODELS; ACCESS CONTROL POLICIES; META MODEL; MULTIPLE ACCESS CONTROL;

EID: 70450250101     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1542207.1542238     Document Type: Conference Paper
Times cited : (108)

References (23)
  • 1
    • 70450259479 scopus 로고    scopus 로고
    • ANSI. RBAC, 2004. INCITS 359-2004.
    • ANSI. RBAC, 2004. INCITS 359-2004.
  • 2
    • 19244381332 scopus 로고
    • Logic programming and knowledge representation
    • C. Baral and M. Gelfond. Logic programming and knowledge representation. JLP, 19/20:73-148, 1994.
    • (1994) JLP , vol.19-20 , pp. 73-148
    • Baral, C.1    Gelfond, M.2
  • 4
    • 3042584122 scopus 로고    scopus 로고
    • Flexible access control policy specification with constraint logic programming
    • S. Barker and P. Stuckey. Flexible access control policy specification with constraint logic programming. ACM Trans. on Information and System Security, 6(4):501-546, 2003.
    • (2003) ACM Trans. on Information and System Security , vol.6 , Issue.4 , pp. 501-546
    • Barker, S.1    Stuckey, P.2
  • 5
    • 35048879241 scopus 로고    scopus 로고
    • Design and semantics of a decentralized authorization language
    • M. Y. Becker, C. Fournet, and A. D. Gordon. Design and semantics of a decentralized authorization language. In CSF, pages 3-15, 2007.
    • (2007) CSF , pp. 3-15
    • Becker, M.Y.1    Fournet, C.2    Gordon, A.D.3
  • 6
    • 56349097648 scopus 로고
    • Secure computer system: Unified exposition and multics interpretation
    • D. E. Bell and L. J. LaPadula. Secure computer system: Unified exposition and multics interpretation. MITRE-2997, 1976.
    • (1976) MITRE-2997
    • Bell, D.E.1    LaPadula, L.J.2
  • 7
    • 0032153903 scopus 로고    scopus 로고
    • An access control model supporting periodicity constraints and temporal reasoning
    • E. Bertino, C. Bettini, E. Ferrari, and P. Samarati. An access control model supporting periodicity constraints and temporal reasoning. ACM TODS, 23(3):231-285, 1998.
    • (1998) ACM TODS , vol.23 , Issue.3 , pp. 231-285
    • Bertino, E.1    Bettini, C.2    Ferrari, E.3    Samarati, P.4
  • 8
    • 13244267910 scopus 로고    scopus 로고
    • Design rationale of ruleml: A markup language for semantic web rules
    • H. Boley, S. Tabet, and G. Wagner. Design rationale of ruleml: A markup language for semantic web rules. In SWWS 2001, pages 381-401, 2001.
    • (2001) SWWS 2001 , pp. 381-401
    • Boley, H.1    Tabet, S.2    Wagner, G.3
  • 9
    • 0024772001 scopus 로고
    • A completeness theorem for SLDNF resolution
    • L. Cavedon and J. Lloyd. A completeness theorem for SLDNF resolution. JLP, 7(3):177-192, 1989.
    • (1989) JLP , vol.7 , Issue.3 , pp. 177-192
    • Cavedon, L.1    Lloyd, J.2
  • 10
    • 0000826543 scopus 로고
    • Negation as failure
    • H. Gallaire and J. Minker, editors, Plenum
    • K. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293-322. Plenum, 1978.
    • (1978) Logic and Databases , pp. 293-322
    • Clark, K.1
  • 12
    • 57349141482 scopus 로고    scopus 로고
    • A meta model for access control: Why is it needed and is it even possible to achieve?
    • D. F. Ferraiolo and V. Atluri. A meta model for access control: why is it needed and is it even possible to achieve? In SACMAT'08, pages 153-154, 2008.
    • (2008) SACMAT'08 , pp. 153-154
    • Ferraiolo, D.F.1    Atluri, V.2
  • 14
    • 84937430803 scopus 로고    scopus 로고
    • Inferring termination conditions for logic programs using backwards analysis
    • of, Springer
    • S. Genaim and M. Codish. Inferring termination conditions for logic programs using backwards analysis. volume 2250 of LNCS, pages 685-694. Springer, 2001.
    • (2001) LNCS , vol.2250 , pp. 685-694
    • Genaim, S.1    Codish, M.2
  • 15
    • 0001619596 scopus 로고    scopus 로고
    • Flexible support for multiple access control policies
    • S. Jajodia, P. Samarati, M. Sapino, and V. Subrahmaninan. Flexible support for multiple access control policies. ACM TODS, 26(2):214-260, 2001.
    • (2001) ACM TODS , vol.26 , Issue.2 , pp. 214-260
    • Jajodia, S.1    Samarati, P.2    Sapino, M.3    Subrahmaninan, V.4
  • 17
    • 84943347452 scopus 로고
    • The next 700 programming languages
    • P. J. Landin. The next 700 programming languages. Commun. ACM, 9(3):157-166, 1966.
    • (1966) Commun. ACM , vol.9 , Issue.3 , pp. 157-166
    • Landin, P.J.1
  • 19
    • 0041887465 scopus 로고    scopus 로고
    • Belief, information acquisition, and trust in multi-agent systems - a modal logic formulation
    • C.-J. Liau. Belief, information acquisition, and trust in multi-agent systems - a modal logic formulation. Artif. Intell., 149(1):31-60, 2003.
    • (2003) Artif. Intell , vol.149 , Issue.1 , pp. 31-60
    • Liau, C.-J.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.