Dealing with inconsistent secure messages

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3157, Issue , 2004, Pages 33-42

  Chen, Qingfeng ^a   Zhang, Shichao ^a  

^a UNIVERSITY OF TECHNOLOGY SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); CRYPTOGRAPHY; DATABASE SYSTEMS; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; NETWORK PROTOCOLS; COMPUTERS;

ARBITRATION; INFORMATION MERGING; LOGICAL EQUIVALENCE; SECURE MESSAGES; DYNAMIC PROPERTY; FORMAL FRAMEWORK; VERIFICATION RESULTS;

SEMANTICS; ARTIFICIAL INTELLIGENCE;

EID: 22944488273     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-28633-2_6     Document Type: Conference Paper

References (5)

1. Chen Q., Zhang C., and Zhang S., An extension ot NDL for verifying secure transaction protocols, Knowledge and Information Systems, an Internation Journal by Springer, forthcoming in 2004.
2. Denning D., Sacco G., Timestamp in Key Distribution Protocols, Communications of ACM 24(8):533-536, August 1981.
3. Liberatore P. and Schaerf M., Arbitration (or How to Merge Knowledge Bases), IEEE Transaction on Knowledge and Data Engineering, 10(1), pages: 76-90, 1998.
4. Lin J., and Mendelzon A.O., Knowledge base merging by majority, In Dynamic Worlds: From the Frame Problem to Knowledge Management, Kluwer, 1999.
5. Piper F., and Murphy S., Cryptography: A Very Short Introduction, Oxford University Press, 2002.