Graphical models for security: Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2016]
|
| Schriftenreihe: | Lecture Notes in Computer Science
9390 |
| Schlagworte: | |
| Online-Zugang: | HTW01 TUM01 UBR01 UBY01 Volltext Abstract Inhaltsverzeichnis |
| Beschreibung: | 1 Online Ressource (IX, 103 Seiten) Illustrationen |
| ISBN: | 9783319299686 9783319299679 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-29968-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043423017 | ||
| 003 | DE-604 | ||
| 005 | 20160715 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160302s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319299686 |c Online |9 978-3-319-29968-6 | ||
| 020 | |a 9783319299679 |c Print |9 978-3-319-29967-9 | ||
| 024 | 7 | |a 10.1007/978-3-319-29968-6 |2 doi | |
| 035 | |a (OCoLC)943777977 | ||
| 035 | |a (DE-599)BVBBV043423017 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-706 |a DE-91 |a DE-19 |a DE-Aug4 |a DE-898 |a DE-859 |a DE-473 |a DE-29 |a DE-20 |a DE-92 |a DE-384 |a DE-573 |a DE-M347 |a DE-703 |a DE-739 |a DE-634 |a DE-861 |a DE-523 | ||
| 082 | 0 | |a 005.8 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 111 | 2 | |a GraMSec |n 2. |d 2015 |c Verona |j Verfasser |0 (DE-588)1088322514 |4 aut | |
| 245 | 1 | 0 | |a Graphical models for security |b Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers |c edited by Sjouke Mauw, Barbara Kordy, Sushil Jajodia |
| 264 | 1 | |a Cham |b Springer |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a 1 Online Ressource (IX, 103 Seiten) |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v Volume 9390 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer communication systems | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer security | |
| 650 | 4 | |a Algorithms | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Systems and Data Security | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Information Systems Applications (incl. Internet) | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Informatik | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Mauw, Sjouke |4 edt | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9390 |w (DE-604)BV014880109 |9 9390 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-29968-6 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840909&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840909&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2016 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028840909 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-29968-6 |l HTW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |l TUM01 |u https://doi.org/10.1007/978-3-319-29968-6 |p ZDB-2-LNC |q ZDB-2-LNC_2016 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-29968-6 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |l UBY01 |u https://doi.org/10.1007/978-3-319-29968-6 |p ZDB-2-LNC |q ZDB-2-LNC_2016 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176018040160256 |
|---|---|
| adam_text | GRAPHICAL MODELS FOR SECURITY
/
: 2016
ABSTRACT / INHALTSTEXT
THIS VOLUME CONSTITUTES THE THOROUGHLY REFEREED POST-CONFERENCE
PROCEEDINGS OF THE SECOND INTERNATIONAL WORKSHOP ON GRAPHICAL MODELS FOR
SECURITY, GRAMSEC 2015, HELD IN VERONA, ITALY, IN JULY 2015. THE 5
REVISED FULL PAPERS PRESENTED TOGETHER WITH ONE SHORT TOOL PAPER AND ONE
INVITED LECTURE WERE CAREFULLY REVIEWED AND SELECTED FROM 13
SUBMISSIONS. THE WORKSHOP CONTRIBUTES TO THE DEVELOPMENT OF WELL-FOUNDED
GRAPHICAL SECURITY MODELS, EFFICIENT ALGORITHMS FOR THEIR ANALYSIS, AS
WELL AS METHODOLOGIES FOR THEIR PRACTICAL USAGE, THUS PROVIDING AN
INTUITIVE BUT SYSTEMATIC METHODOLOGY TO ANALYZE SECURITY WEAKNESSES OF
SYSTEMS AND TO EVALUATE POTENTIAL PROTECTION MEASURES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
GRAPHICAL MODELS FOR SECURITY
/
: 2016
TABLE OF CONTENTS / INHALTSVERZEICHNIS
INTEGRATED VISUALIZATION OF NETWORK SECURITY METADATA FROM HETEROGENEOUS
DATA SOURCES
SYSML-SEC ATTACK GRAPHS: COMPACT REPRESENTATIONS FOR COMPLEX ATTACKS
GUIDED SPECIFICATION AND ANALYSIS OF A LOYALTY CARD SYSTEM
HOW TO GENERATE SECURITY CAMERAS: TOWARDS DEFENCE GENERATION FOR
SOCIOTECHNICAL SYSTEMS
TRANSFORMING GRAPHICAL SYSTEM MODELS TO GRAPHICAL ATTACK MODELS
ATSYRA: AN INTEGRATED ENVIRONMENT FOR SYNTHESIZING ATTACK TREES.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Mauw, Sjouke |
| author2_role | edt |
| author2_variant | s m sm |
| author_corporate | GraMSec Verona |
| author_corporate_role | aut |
| author_facet | Mauw, Sjouke GraMSec Verona |
| author_sort | GraMSec Verona |
| building | Verbundindex |
| bvnumber | BV043423017 |
| classification_tum | DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)943777977 (DE-599)BVBBV043423017 |
| dewey-full | 005.8 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.8 |
| dewey-search | 005.8 |
| dewey-sort | 15.8 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-29968-6 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03179nmm a2200649zcb4500</leader><controlfield tag="001">BV043423017</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160715 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160302s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319299686</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-29968-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319299679</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-29967-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-29968-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)943777977</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043423017</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.8</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">GraMSec</subfield><subfield code="n">2.</subfield><subfield code="d">2015</subfield><subfield code="c">Verona</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1088322514</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Graphical models for security</subfield><subfield code="b">Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers</subfield><subfield code="c">edited by Sjouke Mauw, Barbara Kordy, Sushil Jajodia</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online Ressource (IX, 103 Seiten)</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">Volume 9390</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer communication systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer security</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems and Data Security</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information Systems Applications (incl. Internet)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mauw, Sjouke</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9390</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9390</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-29968-6</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840909&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840909&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028840909</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-29968-6</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="l">TUM01</subfield><subfield code="u">https://doi.org/10.1007/978-3-319-29968-6</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2016</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-29968-6</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="l">UBY01</subfield><subfield code="u">https://doi.org/10.1007/978-3-319-29968-6</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2016</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043423017 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:25:30Z |
| institution | BVB |
| institution_GND | (DE-588)1088322514 |
| isbn | 9783319299686 9783319299679 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028840909 |
| oclc_num | 943777977 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-739 DE-634 DE-861 DE-523 |
| owner_facet | DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-739 DE-634 DE-861 DE-523 |
| physical | 1 Online Ressource (IX, 103 Seiten) Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2016 ZDB-2-LNC ZDB-2-LNC_2016 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | GraMSec 2. 2015 Verona Verfasser (DE-588)1088322514 aut Graphical models for security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers edited by Sjouke Mauw, Barbara Kordy, Sushil Jajodia Cham Springer [2016] © 2016 1 Online Ressource (IX, 103 Seiten) Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science Volume 9390 0302-9743 Computer science Computer communication systems Software engineering Computer security Algorithms Computer logic Computer Science Systems and Data Security Computer Communication Networks Software Engineering Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Logics and Meanings of Programs Informatik (DE-588)1071861417 Konferenzschrift gnd-content Mauw, Sjouke edt Lecture Notes in Computer Science 9390 (DE-604)BV014880109 9390 https://doi.org/10.1007/978-3-319-29968-6 Verlag URL des Erstveröffentlichers Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840909&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840909&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Graphical models for security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers Lecture Notes in Computer Science Computer science Computer communication systems Software engineering Computer security Algorithms Computer logic Computer Science Systems and Data Security Computer Communication Networks Software Engineering Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Logics and Meanings of Programs Informatik |
| subject_GND | (DE-588)1071861417 |
| title | Graphical models for security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers |
| title_auth | Graphical models for security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers |
| title_exact_search | Graphical models for security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers |
| title_full | Graphical models for security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers edited by Sjouke Mauw, Barbara Kordy, Sushil Jajodia |
| title_fullStr | Graphical models for security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers edited by Sjouke Mauw, Barbara Kordy, Sushil Jajodia |
| title_full_unstemmed | Graphical models for security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers edited by Sjouke Mauw, Barbara Kordy, Sushil Jajodia |
| title_short | Graphical models for security |
| title_sort | graphical models for security second international workshop gramsec 2015 verona italy july 13 2015 revised selected papers |
| title_sub | Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers |
| topic | Computer science Computer communication systems Software engineering Computer security Algorithms Computer logic Computer Science Systems and Data Security Computer Communication Networks Software Engineering Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Logics and Meanings of Programs Informatik |
| topic_facet | Computer science Computer communication systems Software engineering Computer security Algorithms Computer logic Computer Science Systems and Data Security Computer Communication Networks Software Engineering Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Logics and Meanings of Programs Informatik Konferenzschrift |
| url | https://doi.org/10.1007/978-3-319-29968-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840909&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840909&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT gramsecverona graphicalmodelsforsecuritysecondinternationalworkshopgramsec2015veronaitalyjuly132015revisedselectedpapers AT mauwsjouke graphicalmodelsforsecuritysecondinternationalworkshopgramsec2015veronaitalyjuly132015revisedselectedpapers |