{"version.version":"0.0.7","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-2019/modevva_4.html","spt.description":null,"spt.id":"Vol-2019/modevva_4","spt.wikidataid":null,"spt.title":"Architecture-driven Reduction of Specification Overhead for Verifying Confidentiality in Component-based Software Systems","spt.pdfUrl":"https://ceur-ws.org/Vol-2019/modevva_4.pdf","spt.volume":{"number":2019,"acronym":"MODELS-SE 2017","wikidataid":"Q113547057","title":"Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations","description":"Proceedings of MODELS-SE 2017 workshop","url":"http://ceur-ws.org/Vol-2019/","date":"2017-12-10","dblp":"conf/models/2017s","k10plus":"1019350709","urn":"urn:nbn:de:0074-2019-2"},"spt.session":null,"cvb.id":"Vol-2019/modevva_4","cvb.title":"Architecture-driven Reduction of Specification Overhead for Verifying Confidentiality in Component-based Software Systems","cvb.type":null,"cvb.position":null,"cvb.pagesFrom":null,"cvb.pagesTo":null,"cvb.authors":"Kateryna Yurchenko,Moritz Behr,Heiko Klare,Max Kramer,Ralf Reussner","cvb.vol_number":"2019","cvb.pdf_name":"modevva_4.pdf","cvb.pages":"321-323","cvb.fail":null,"dblp.dblp_publication_id":"https://dblp.org/rec/conf/models/YurchenkoBKKR17","dblp.dblp_proceeding_id":"https://dblp.org/rec/conf/models/2017s","dblp.volume_number":2019,"dblp.title":"Architecture-driven Reduction of Specification Overhead for Verifying Confidentiality in Component-based Software Systems.","dblp.authors":[{"dblp_author_id":"https://dblp.org/pid/136/5386","label":"Kateryna Yurchenko","wikidata_id":null,"orcid_id":null,"gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/196/4906","label":"Heiko Klare","wikidata_id":null,"orcid_id":"0000-0002-9711-8835","gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/211/0934","label":"Moritz Behr","wikidata_id":null,"orcid_id":null,"gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/25/9591","label":"Max E. Kramer","wikidata_id":null,"orcid_id":null,"gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/r/RalfReussner","label":"Ralf H. Reussner","wikidata_id":"Q130868281","orcid_id":"0000-0002-9308-6290","gnd_id":null}],"dblp.pdf_id":"Vol-2019/modevva_4"}