메뉴 건너뛰기




Volumn 5, Issue 1, 2006, Pages 48-64

Understanding SPKI/SDSI using first-order logic

Author keywords

Language; Logic; Logic programs; SDSI; SPKT; Trust management

Indexed keywords


EID: 33646242539     PISSN: 16155262     EISSN: 16155270     Source Type: Journal    
DOI: 10.1007/s10207-005-0073-0     Document Type: Article
Times cited : (21)

References (30)
  • 1
    • 0031637195 scopus 로고    scopus 로고
    • On SDSI's linked local name spaces
    • Abadi, M.: On SDSI's linked local name spaces. J. Comp. Sec. 6 (1-2), 3-21 (1998)
    • (1998) J. Comp. Sec. , vol.6 , Issue.1-2 , pp. 3-21
    • Abadi, M.1
  • 8
    • 0021509216 scopus 로고
    • Linear-time algorithms for testing the satisfiability of propositional horn formulae
    • Dowling, W.F., Gallier, J.H.: Linear-time algorithms for testing the satisfiability of propositional horn formulae. J. Logic Prog. 1 (3), 267-284 (1984)
    • (1984) J. Logic Prog. , vol.1 , Issue.3 , pp. 267-284
    • Dowling, W.F.1    Gallier, J.H.2
  • 9
    • 0003546303 scopus 로고    scopus 로고
    • Simple public key certificates
    • Internet Draft (work in progress), July Available at
    • Ellison, C., Frantz, B., Lampson, B., Rivest, R., Thomas, B., Ylonen, T.: Simple public key certificates. Internet Draft (work in progress), July (1999) Available at http://world.std.com/~cme/spki.txt
    • (1999)
    • Ellison, C.1    Frantz, B.2    Lampson, B.3    Rivest, R.4    Thomas, B.5    Ylonen, T.6
  • 11
    • 0035067717 scopus 로고    scopus 로고
    • A logic for SDSI's linked local name spaces
    • Halpern, J., van der Meyden, R.: A logic for SDSI's linked local name spaces. J. Comp. Sec. 9 (1-2), 47-74 (2001)
    • (2001) J. Comp. Sec. , vol.9 , Issue.1-2 , pp. 47-74
    • Halpern, J.1    van der Meyden, R.2
  • 12
    • 0141528667 scopus 로고    scopus 로고
    • A logical reconstruction of SPKI
    • Halpern, J., van der Meyden, R.: A logical reconstruction of SPKI. J. Comp. Sec. 11 (4), 581-614 (2003)
    • (2003) J. Comp. Sec. , vol.11 , Issue.4 , pp. 581-614
    • Halpern, J.1    van der Meyden, R.2
  • 13
    • 3042835585 scopus 로고    scopus 로고
    • Naming and sharing resources acroos administrative boundaries
    • PhD thesis, Dartmouth College, May
    • Howell, J.R.: Naming and sharing resources acroos administrative boundaries. PhD thesis, Dartmouth College, May (2000)
    • (2000)
    • Howell, J.R.1
  • 15
    • 4243532938 scopus 로고
    • Constraint logic programming: A survey
    • Jaffar, J., Maher, M.J.: Constraint logic programming: A survey. J. Logic Prog. 19/20, 503-580 (1994)
    • (1994) J. Logic Prog. , vol.19-20 , pp. 503-580
    • Jaffar, J.1    Maher, M.J.2
  • 19
    • 84976834054 scopus 로고
    • Authentication in distributed systems: Theory and practice
    • Lampson, B., Abadi, M., Burrows, M., Wobber, E.: Authentication in distributed systems: Theory and practice. ACM Trans. Inf. Syst. Sec. 10 (4), 265-310 (1992)
    • (1992) ACM Trans. Inf. Syst. Sec. , vol.10 , Issue.4 , pp. 265-310
    • Lampson, B.1    Abadi, M.2    Burrows, M.3    Wobber, E.4
  • 21
    • 0041524661 scopus 로고    scopus 로고
    • Delegation logic: A logic-based approach to distributed authorization
    • Li, N., Grosof, B.N., Feigenbaum, J.: Delegation logic: A logic-based approach to distributed authorization. ACM Trans. Inf. Syst. Sec. 6 (1), 128-171 (2003)
    • (2003) ACM Trans. Inf. Syst. Sec. , vol.6 , Issue.1 , pp. 128-171
    • Li, N.1    Grosof, B.N.2    Feigenbaum, J.3
  • 25
    • 30544438141 scopus 로고    scopus 로고
    • Beyond proof-of-compliance: Security analysis in trust management
    • Li, N., Mitchell, J.C., Winsborough, W.H.: Beyond proof-of-compliance: Security analysis in trust management. J. ACM 52 (3), (2005)
    • (2005) J. ACM , vol.52 , Issue.3
    • Li, N.1    Mitchell, J.C.2    Winsborough, W.H.3
  • 26
    • 0037243196 scopus 로고    scopus 로고
    • Distributed credential chain discovery in trust management
    • Li, N., Winsborough, W.H., Mitchell, J.C.: Distributed credential chain discovery in trust management. J. Comp. Sec. 11 (1), 35-86 (2003)
    • (2003) J. Comp. Sec. , vol.11 , Issue.1 , pp. 35-86
    • Li, N.1    Winsborough, W.H.2    Mitchell, J.C.3
  • 29
    • 0347367138 scopus 로고    scopus 로고
    • Correspondences between classical, intuitionistic and uniform provability
    • Nadathur, G.: Correspondences between classical, intuitionistic and uniform provability. Theoretical Computer Science 232 (1-2), 273-298 (2000)
    • (2000) Theoretical Computer Science , vol.232 , Issue.1-2 , pp. 273-298
    • Nadathur, G.1
  • 30
    • 0003614529 scopus 로고    scopus 로고
    • SDSI - A simple distributed security infrastructure
    • Oct. Available at
    • Rivest, R.L., Lampson, B.: SDSI - a simple distributed security infrastructure, Oct. (1996) Available at http://theory.lcs.mit.edu/~rivest/sdsi11.html
    • (1996)
    • Rivest, R.L.1    Lampson, B.2


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