Pages that link to "Item:Q4923367"
From MaRDI portal
The following pages link to Typed Multiset Rewriting Specifications of Security Protocols (Q4923367):
Displayed 4 items.
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols (Q2643568) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- Typed Multiset Rewriting Specifications of Security Protocols (Q4923367) (← links)
- (Q5018490) (← links)