메뉴 건너뛰기




Volumn 6, Issue 1, 2003, Pages 43-70

On the relationship between strand spaces and multi-agent systems

Author keywords

Agents; Expressiveness; Multi agent systems; Security protocols; Strand spaces

Indexed keywords

EXPRESSIVENESS; SECURITY PROTOCOLS; STRAND SPACES;

EID: 3142594319     PISSN: 10949224     EISSN: None     Source Type: Journal    
DOI: 10.1145/605434.605436     Document Type: Review
Times cited : (18)

References (22)
  • 9
    • 0032047481 scopus 로고    scopus 로고
    • A logical approach to multilevel security of probabilistic systems
    • GRAY III, J. W. AND SYVERSON, P. F. 1998. A logical approach to multilevel security of probabilistic systems. Distributed Computing 11, 2, 73-90.
    • (1998) Distributed Computing , vol.11 , Issue.2 , pp. 73-90
    • Gray III, J.W.1    Syverson, P.F.2
  • 10
    • 0029293613 scopus 로고
    • Naming and identity in epistemic logic II: A first-order logic for naming
    • GROVE, A. J. 1995. Naming and identity in epistemic logic II: a first-order logic for naming. Artificial Intelligence 74, 2, 311-350.
    • (1995) Artificial Intelligence , vol.74 , Issue.2 , pp. 311-350
    • Grove, A.J.1
  • 11
    • 0000920629 scopus 로고
    • Naming and identity in epistemic logics, Part I: The propositional case
    • GROVE, A. J. AND HALPERN, J. Y. 1993. Naming and identity in epistemic logics, Part I: the propositional case. J. Logic Comput. 3, 4, 345-378.
    • (1993) J. Logic Comput. , vol.3 , Issue.4 , pp. 345-378
    • Grove, A.J.1    Halpern, J.Y.2
  • 12
    • 0034230143 scopus 로고    scopus 로고
    • A note on knowledge-based programs and specifications
    • HALPERN, J. Y. 2000. A note on knowledge-based programs and specifications. Distributed Computing 13, 145-153.
    • (2000) Distributed Computing , vol.13 , pp. 145-153
    • Halpern, J.Y.1
  • 19
    • 0013270364 scopus 로고
    • A logic for the analysis of cryptographic protocols
    • Naval Research Laboratory
    • SYVEHSON, P. 1990. A logic for the analysis of cryptographic protocols. NRL Report 9305, Naval Research Laboratory.
    • (1990) NRL Report , vol.9305
    • Syvehson, P.1
  • 22
    • 0033344295 scopus 로고    scopus 로고
    • Strand spaces: Proving security protocols correct
    • THAYER, F. J., HERZOG, J. C., AND GUTTMAN, J. D. 1999b. Strand spaces: Proving security protocols correct. J. Comput. Secu. 7, 2/3, 191-230.
    • (1999) J. Comput. Secu. , vol.7 , Issue.2-3 , pp. 191-230
    • Thayer, F.J.1    Herzog, J.C.2    Guttman, J.D.3


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