From security protocols to pushdown automata
URL: https://inria.hal.science/hal-00817230
Dataset description:
Formal methods have been very successful in analyzing security protocols for reachability properties such as secrecy or authentication. In contrast, there are very few results...
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 11, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 5 months ago |
| Id | 29deb82a-ad65-4220-9edf-9235c0a5a07c |
| Package id | oai-hal-hal-00817230v1 |
| Resource type | HTML |
| State | active |