Advertisement

Graphical Models for Security

4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

  • Peng Liu
  • Sjouke Mauw
  • Ketil Stolen
Conference proceedings GraMSec 2017

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10744)

Also part of the Security and Cryptology book sub series (LNSC, volume 10744)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Dan Ionita, Margaret Ford, Alexandr Vasenev, Roel Wieringa
    Pages 1-16
  3. Angèle Bossuat, Barbara Kordy
    Pages 17-37
  4. Karin Bernsmed, Christian Frøystad, Per Håkon Meland, Dag Atle Nesheim, Ørnulf Jan Rødseth
    Pages 38-56
  5. Aitor Couce-Vieira, Siv Hilde Houmb, David Ríos-Insua
    Pages 57-74
  6. René Rydhof Hansen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
    Pages 75-90
  7. Brian Ruttenberg, Dave Blumstein, Jeff Druce, Michael Howard, Fred Reed, Leslie Wilfong et al.
    Pages 91-98
  8. Letitia W. Li, Florian Lugou, Ludovic Apvrille
    Pages 99-106
  9. Ryan Habibi, Jens Weber, Morgan Price
    Pages 107-114
  10. Olga Gadyatskaya, Rolando Trujillo-Rasua
    Pages 115-126
  11. Aleš Černivec, Gencer Erdogan, Alejandra Gonzalez, Atle Refsdal, Antonio Alvarez Romero
    Pages 127-146
  12. Back Matter
    Pages 147-147

About these proceedings

Introduction

This book constitutes revised selected papers from the 4th International Workshop on Graphical Models for Security, GraMSec 2017, held in Santa Barbara, CA, USA, in August 2017. 
The 5 full and 4 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited paper from the WISER project. The contributions deal with the latest research and developments on graphical models for security.

Keywords

artificial intelligence authentication computer crime computer science cyber-attacks embedded systems programming languages security analysis security requirements semantics software engineering

Editors and affiliations

  • Peng Liu
    • 1
  • Sjouke Mauw
    • 2
  • Ketil Stolen
    • 3
  1. 1.Pennsylvania State UniversityUniversity ParkUSA
  2. 2.University of LuxembourgEsch-sur-AlzetteLuxembourg
  3. 3.BlindernSINTEF ICTOsloNorway

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-74860-3
  • Copyright Information Springer International Publishing AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-74859-7
  • Online ISBN 978-3-319-74860-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Aerospace
Engineering