메뉴 건너뛰기




Volumn 1146, Issue , 1996, Pages 183-197

Merging heterogeneous security orderings

Author keywords

Heterogeneous mediated federated systems; Theoretical foundations of security

Indexed keywords

DATABASE SYSTEMS; GRAPH THEORY; LOGIC PROGRAMMING; SECURITY SYSTEMS;

EID: 84928693825     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61770-1_37     Document Type: Conference Paper
Times cited : (23)

References (15)
  • 2
    • 84949791327 scopus 로고
    • Lattice Theory
    • Society, Providence
    • G. Birkhoff. Lattice Theory, American Math. Society, Providence, 1967.
    • (1967) American Math
    • Birkhoff, G.1
  • 5
    • 0021509216 scopus 로고
    • Linear-time algorithms for testing satisfiability of propositional Horn formulae
    • W.F. Dowfing, J.H. Gallier. Linear-time algorithms for testing satisfiability of propositional Horn formulae. Journal of Logic Programming, 3:267-284, (1984).
    • (1984) Journal of Logic Programming , vol.3 , pp. 267-284
    • Dowfing, W.F.1    Gallier, J.H.2
  • 6
    • 0010032891 scopus 로고    scopus 로고
    • Computational Issues in Secure Interoperation
    • L. Gong and X. Qian. (1996) Computational Issues in Secure Interoperation, IEEE Trans. on Software Engineering, 22, 1, pp. 43-52.
    • (1996) IEEE Trans. On Software Engineering , vol.22 , Issue.1 , pp. 43-52
    • Gong, L.1    Qian, X.2
  • 8
    • 84949910706 scopus 로고
    • Secure Database Interoperation via Role Translation
    • eds. B. Thuraisingham, R. Sandhu amd T.C. TingSpringer Verlag
    • V.E. Jones and M. Winslett. (1993) Secure Database Interoperation via Role Translation, in "Security for Object Oriented Systems (eds. B. Thuraisingham, R. Sandhu amd T.C. Ting), Springer Verlag.
    • (1993) Security for Object Oriented Systems
    • Jones, V.E.1    Winslett, M.2
  • 10
    • 0038593266 scopus 로고
    • On the logical foundations of schema integration and evolution in Heterogeneous Database Systems
    • Phoenix, Arizona
    • Laks V.S. Lakshmanan, F. Sadri and I.N. Subramanian, On the logical foundations of schema integration and evolution in Heterogeneous Database Systems, Proc. DOOD-93, Phoenix, Arizona, 1993.
    • (1993) Proc. DOOD-93
    • Lakshmanan, L.V.S.1    Sadri, F.2    Subramanian, I.N.3
  • 13
    • 0001790593 scopus 로고
    • Depth-first search and linear graph algorithms
    • R. Tarjan. Depth-first search and linear graph algorithms. SIAM J. of Computing, 1(2):146-160 (1972)
    • (1972) SIAM J. Of Computing , vol.1 , Issue.2 , pp. 146-160
    • Tarjan, R.1
  • 14
    • 0026836188 scopus 로고
    • Mediators in the Architecture of Future Information Systems
    • March
    • G. Wiederhold, Mediators in the Architecture of Future Information Systems, IEEE Computer, pp. 38-49, March 1992.
    • (1992) IEEE Computer , pp. 38-49
    • Wiederhold, G.1


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