Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Workshop on Graphical Models for Security (GraMSec)
7th GraMSec@CSF 2020: Boston, MA, USA
- Harley Eades III
, Olga Gadyatskaya:
Graphical Models for Security - 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020 Revised Selected Papers. Lecture Notes in Computer Science 12419, Springer 2020, ISBN 978-3-030-62229-9 [contents]
6th GraMSec@CSF 2019: Hoboken, NJ, USA
- Massimiliano Albanese, Ross Horne, Christian W. Probst:
Graphical Models for Security - 6th International Workshop, GraMSec@CSF 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers. Lecture Notes in Computer Science 11720, Springer 2019, ISBN 978-3-030-36536-3 [contents]
5th GraMSec@FLoC 2018: Oxford, UK
- George Cybenko, David J. Pym, Barbara Fila:
5th International Workshop on Graphical Models for Security, held in conjunction with the Federated Logic Conference (FLoC) 2018, GraMSec@FLoC 2018, Oxford, UK, July 8, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11086, Springer 2019, ISBN 978-3-030-15464-6 [contents]
4th GraMSec@CSF 2017: Santa Barbara, CA, USA
- Peng Liu, Sjouke Mauw, Ketil Stølen:
Graphical Models for Security - 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10744, Springer 2018, ISBN 978-3-319-74859-7 [contents]
3rd GraMSec@CSF 2016: Lisbon, Portugal
- Barbara Kordy, Mathias Ekstedt, Dong Seong Kim:
Graphical Models for Security - Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers. Lecture Notes in Computer Science 9987, Springer 2016, ISBN 978-3-319-46262-2 [contents]
2nd GraMSec@CSF 2015: Verona, Italy
- Sjouke Mauw, Barbara Kordy, Sushil Jajodia:
Graphical Models for Security - Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9390, Springer 2016, ISBN 978-3-319-29967-9 [contents]
1st GraMSec@ETAPS 2014: Grenoble, France
- Barbara Kordy, Sjouke Mauw, Wolter Pieters:
Proceedings First International Workshop on Graphical Models for Security, GraMSec 2014, Grenoble, France, April 12, 2014. EPTCS 148, 2014 [contents]
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-19 22:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
