{"@context":{"@vocab":"https://cir.nii.ac.jp/schema/1.0/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/","foaf":"http://xmlns.com/foaf/0.1/","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","datacite":"https://schema.datacite.org/meta/kernel-4/","ndl":"http://ndl.go.jp/dcndl/terms/","jpcoar":"https://github.com/JPCOAR/schema/blob/master/2.0/"},"@id":"https://cir.nii.ac.jp/crid/1010000782091642786.json","@type":"Article","resourceType":"学術雑誌論文(journal article)","dc:title":[{"@language":"ja","@value":"公理的安全性の枠組みにおける汎用的結合可能な相互認証と鍵交換の記号的安全性"}],"creator":[{"@id":"https://cir.nii.ac.jp/crid/1420845751151633920","@type":"Researcher","personIdentifier":[{"@type":"KAKEN_RESEARCHERS","@value":"50335387"},{"@type":"NRID","@value":"1000050335387"},{"@type":"NRID","@value":"9000283106850"},{"@type":"NRID","@value":"9000283209973"},{"@type":"NRID","@value":"9000412088090"},{"@type":"NRID","@value":"9000324992986"}],"foaf:name":[{"@language":"ja","@value":"吉田 真紀"},{"@language":"en","@value":"YOSHIDA Maki"}],"jpcoar:affiliationName":[{"@language":"ja","@value":"大阪大学"}]}],"publication":{"prism:publicationName":[{"@language":"ja","@value":"日本応用数理学会論文誌 第20巻,第1号(To appear)"}],"prism:publicationDate":"2010"},"reviewed":"true","project":[{"@id":"https://cir.nii.ac.jp/crid/1040000782091642624","@type":"Project","projectIdentifier":[{"@type":"KAKEN","@value":"21700015"},{"@type":"JGN","@value":"JP21700015"},{"@type":"URI","@value":"https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21700015/"}],"notation":[{"@language":"ja","@value":"暗号プロトコルに対する計算論的に健全な安全性検証技術と再設計支援技術の開発"},{"@language":"en","@value":"Computationally sound symbolic analysis of security and assistance of redesign for cryptographic protocols"}]}],"dataSourceIdentifier":[{"@type":"KAKEN","@value":"PRODUCT-13014102"}]}