Report on the Aachen OCL Meeting

Autor: Brucker, Achim D., Chiorean, Dan, Clark, Tony, Demuth, Birgit, Gogolla, Martin, Plotnikov, Dimitri, Rumpe, Bernhard, Willink, Edward D., Wolff, Burkhart

Publikováno v: Proceedings of the MODELS 2013 OCL Workshop (OCL 2013), Miami, Florida (USA), Volume 1092 of CEUR Workshop Proceedings, Eds.: J. Cabot, M. Gogolla, I. Rath, E. Willink, pages 103-111, CEUR-WS.org, 2013

As a continuation of the OCL workshop during the MODELS 2013 conference in October 2013, a number of OCL experts decided to meet in November 2013 in Aachen for two days to discuss possible short term improvements of OCL for an upcoming OMG meeting an

Externí odkaz: http://arxiv.org/abs/1408.5698

Stateful Protocol Composition and Typing

Autor: Andreas Hess, Sebastian Alexander Mödersheim, Brucker, Achim D.

Publikováno v: Hess, A V, Mödersheim, S A & Brucker, A D 2020, ' Stateful Protocol Composition and Typing ', Archive of Formal Proofs .
Technical University of Denmark Orbit

We provide in this AFP entry several relative soundness results for security protocols. In particular, we prove typing and compositionality results for stateful protocols (i.e., protocols with mutable state that may span several sessions), and that f

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9b96db59d4fcc182041b21b7cc2566da
https://orbit.dtu.dk/en/publications/98d2febd-c7c8-487d-9230-82f53036bdfe

19th International Workshop in OCL and Textual Modeling (OCL 2019)

Autor: Brucker, Achim D., Daniel, Gwendal, Jouault, Frédéric

Publikováno v: Object Constraint Language and Textual Modeling 2019
Object Constraint Language and Textual Modeling 2019, 2019

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e6a4c149ae685f83fc08b50de93b7fd8
https://hal.archives-ouvertes.fr/hal-02492125

Stateful Protocol Composition

Autor: Hess, Andreas Viktor, Mödersheim, Sebastian A., Brucker, Achim D.

Publikováno v: Hess, A V, Mödersheim, S A & Brucker, A D 2018, Stateful Protocol Composition . in J L, J Z & M S (eds), ESORICS 2018: Computer Security . Springer, Lecture Notes in Computer Science, vol. 11098, pp. 427-446, 23rd European Symposium on Research in Computer Security, Barcelona, Spain, 03/09/2018 . https://doi.org/10.1007/978-3-319-99073-6_21

We prove a parallel compositionality result for protocols with a shared mutable state, i.e., stateful protocols. For protocols satisfying certain compositionality conditions our result shows that verifying the component protocols in isolation is suff

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1202::0629e252bcea54cb0bb58cf8805535d7
https://orbit.dtu.dk/en/publications/9a98dcda-2860-4c52-af33-4bf7bf36c681

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.