Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Partial-Order Reductions"'
Publikováno v:
CCS'19-26th ACM Conference on Computer and Communications Security
CCS'19-26th ACM Conference on Computer and Communications Security, Nov 2019, London, United Kingdom
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security
CCS
CCS'19-26th ACM Conference on Computer and Communications Security, Nov 2019, London, United Kingdom
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security
CCS
International audience; Verification of privacy-type properties for cryptographic protocols in an active adversarial environment, modelled as a behavioural equivalence in concurrent-process calculi, exhibits a high computational complexity. While und
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::06300d8b541689173614e69ece2663da
https://hal.science/hal-02269043/document
https://hal.science/hal-02269043/document
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Electronic Notes in Theoretical Computer Science
Electronic Notes in Theoretical Computer Science, 2013, 298, pp.179-195. ⟨10.1016/j.entcs.2013.09.013⟩
Electronic Notes in Theoretical Computer Science, Elsevier, 2013, 298, pp.179-195. ⟨10.1016/j.entcs.2013.09.013⟩
Goubault, E, Heindel, T & Mimram, S 2013, ' A Geometric View of Partial Order Reduction ', Electronic Notes in Theoretical Computer Science, vol. 298, pp. 179-195 . https://doi.org/10.1016/j.entcs.2013.09.013
MFPS
Electronic Notes in Theoretical Computer Science, 2013, 298, pp.179-195. ⟨10.1016/j.entcs.2013.09.013⟩
Electronic Notes in Theoretical Computer Science, Elsevier, 2013, 298, pp.179-195. ⟨10.1016/j.entcs.2013.09.013⟩
Goubault, E, Heindel, T & Mimram, S 2013, ' A Geometric View of Partial Order Reduction ', Electronic Notes in Theoretical Computer Science, vol. 298, pp. 179-195 . https://doi.org/10.1016/j.entcs.2013.09.013
MFPS
International audience; Verifying that a concurrent program satisfies a given property, such as deadlock-freeness, is computationally difficult. Naive exploration techniques are facing the state space explosion problem: they consider an exponential n
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f383a01e6cbb6a86c8dd2488071b7a6d
https://cea.hal.science/cea-01836517
https://cea.hal.science/cea-01836517
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.