{"@context":{"owl":"http://www.w3.org/2002/07/owl#","bibo":"http://purl.org/ontology/bibo/","foaf":"http://xmlns.com/foaf/0.1/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/"},"@id":"https://ci.nii.ac.jp/ncid/BD17994399.json","@graph":[{"@id":"https://ci.nii.ac.jp/ncid/BD17994399#entity","@type":"bibo:Book","foaf:isPrimaryTopicOf":{"@id":"https://ci.nii.ac.jp/ncid/BD17994399.json"},"dc:title":[{"@value":"The complete guide to SCION : from design principles to formal verification"}],"dc:creator":"Laurent Chuat [and six others]","dc:publisher":[{"@value":"Springer"},{"cinii:publisherRole":"copyright_notice_date"}],"dcterms:extent":"xxi, 656 pages","cinii:size":"25 cm","dc:language":"eng","dc:date":"2022","cinii:ncid":"BD17994399","cinii:ownerCount":"1","foaf:maker":[{"@type":"foaf:Person","foaf:name":[{"@value":"Chuat, Laurent"}]},{"@type":"foaf:Person","foaf:name":[{"@value":"Legner, Markus"}]},{"@id":"https://ci.nii.ac.jp/author/DA15423132#entity","@type":"foaf:Person","foaf:name":[{"@value":"Basin, David"}]},{"@type":"foaf:Person","foaf:name":[{"@value":"Hausheer, David"}]},{"@type":"foaf:Person","foaf:name":[{"@value":"Hitz, Samuel"}]},{"@type":"foaf:Person","foaf:name":[{"@value":"Müller, Peter"}]},{"@type":"foaf:Person","foaf:name":[{"@value":"Perrig, Adrian"}]}],"bibo:owner":[{"@id":"https://ci.nii.ac.jp/library/FA005267","@type":"foaf:Organization","foaf:name":"国際基督教大学 図書館","rdfs:seeAlso":{"@id":"https://opac.icu.ac.jp/opac/opac_openurl?ncid=BD17994399"}}],"prism:publicationDate":["[2022]","©2022"],"cinii:note":["Content Type: text (ncrcontent), Media Type: unmediated (ncrmedia), Carrier Type: volume (ncrcarrier)","Other authors: Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig","Includes bibliographical references (pages 585-640) and index"],"dc:subject":["DC23:004.678"],"foaf:topic":[{"@id":"https://ci.nii.ac.jp/books/search?q=Computer+network+architectures","dc:title":"Computer network architectures"},{"@id":"https://ci.nii.ac.jp/books/search?q=Internet+--+Security+measures","dc:title":"Internet -- Security measures"},{"@id":"https://ci.nii.ac.jp/books/search?q=Computer+network+protocols","dc:title":"Computer network protocols"}],"dcterms:isPartOf":[{"@id":"https://ci.nii.ac.jp/ncid/BA55823286#entity","dc:title":"Information security and cryptography : texts and monographs","@type":"bibo:Book"}],"dcterms:hasPart":[{"@id":"urn:isbn:9783031052873"}]}]}