To search, Click below search items.

 

All Published Papers Search Service

Results for Horn clauses; Total 1

Title

Process Calculus and Horn Clauses-Based Deduction in the Verification of Security Protocols

Author

Nguyen Truong Thang, Khuat Thanh Son
Citation

Vol. 20  No. 5  pp. 11-17

Keywords

Undecidability, security protocols, process calculus, Horn clauses, formal verification.

[1]