Loading...
Please wait, while we are loading the content...
Similar Documents
A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or
| Content Provider | Semantic Scholar |
|---|---|
| Author | Chevalier, Yannick |
| Copyright Year | 2003 |
| Abstract | We present a procedure for deciding security of protocols employing the Exclusive or operator. This procedure relies on a direct combination of a constraint solver for security protocol with a unification algorithm for the exclusive-or theory. Hence compared to the previous ones it is much simpler and easily amenable to automation. The principle of the approach can be applied to other theories too. |
| Starting Page | 35 |
| Ending Page | 35 |
| Page Count | 1 |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.avispa-project.org/papers/RR-5224.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |