Tight Cutoffs for Guarded Protocols with Fairness

Außerlechner, Simon and Jacobs, Swen and Khalimov, Ayrat
(2016) Tight Cutoffs for Guarded Protocols with Fairness.
In: Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings.

[img]
Preview
 Text
paper.pdf
Download (487kB) | Preview
Official URL: https://doi.org/10.1007/978-3-662-49122-5_23
Item Type: Conference or Workshop Item (A Paper) (Paper)
Divisions: Swen Jacobs (SJ)
Depositing User: Swen Jacobs
Date Deposited: 14 Feb 2018 10:09
Last Modified: 04 Jun 2021 08:40
Primary Research Area: NRA2: Reliable Security Guarantees
URI: https://publications.cispa.saarland/id/eprint/1411

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.