Pub Date : 2014-06-03DOI: 10.1007/978-3-662-43613-4_13
Lili Xu, K. Chatzikokolakis, Huimin Lin
{"title":"Metrics for Differential Privacy in Concurrent Systems","authors":"Lili Xu, K. Chatzikokolakis, Huimin Lin","doi":"10.1007/978-3-662-43613-4_13","DOIUrl":"https://doi.org/10.1007/978-3-662-43613-4_13","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127481985","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-06-03DOI: 10.1007/978-3-662-43613-4_6
Alexander Graf-Brill, H. Hermanns, H. Garavel
{"title":"A Model-Based Certification Framework for the EnergyBus Standard","authors":"Alexander Graf-Brill, H. Hermanns, H. Garavel","doi":"10.1007/978-3-662-43613-4_6","DOIUrl":"https://doi.org/10.1007/978-3-662-43613-4_6","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121507779","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Myung-Gyun Kim, Byoung-Moon Chin, Sungwon Kang, Danhyung Lee
{"title":"Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea","authors":"Myung-Gyun Kim, Byoung-Moon Chin, Sungwon Kang, Danhyung Lee","doi":"10.1007/11562436","DOIUrl":"https://doi.org/10.1007/11562436","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123644597","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2008-06-10DOI: 10.1007/978-3-540-68855-6_9
V. Ciancia, G. Ferrari, R. Guanciale, D. Strollo
{"title":"Checking Correctness of Transactional Behaviors","authors":"V. Ciancia, G. Ferrari, R. Guanciale, D. Strollo","doi":"10.1007/978-3-540-68855-6_9","DOIUrl":"https://doi.org/10.1007/978-3-540-68855-6_9","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121361184","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2008-06-10DOI: 10.1007/978-3-540-68855-6_13
Q. Guo, J. Derrick, Csaba Hoch
{"title":"Verifying Erlang Telecommunication Systems with the Process Algebra µCRL","authors":"Q. Guo, J. Derrick, Csaba Hoch","doi":"10.1007/978-3-540-68855-6_13","DOIUrl":"https://doi.org/10.1007/978-3-540-68855-6_13","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120992451","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2008-06-10DOI: 10.1007/978-3-540-68855-6_19
Guoqiang Shu, Yating Hsu, David Lee
{"title":"Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning","authors":"Guoqiang Shu, Yating Hsu, David Lee","doi":"10.1007/978-3-540-68855-6_19","DOIUrl":"https://doi.org/10.1007/978-3-540-68855-6_19","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127811270","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2008-06-10DOI: 10.1007/978-3-540-68855-6_11
J. Billington, A. Gupta, G. E. Gallasch
{"title":"Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets","authors":"J. Billington, A. Gupta, G. E. Gallasch","doi":"10.1007/978-3-540-68855-6_11","DOIUrl":"https://doi.org/10.1007/978-3-540-68855-6_11","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129010138","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2008-06-10DOI: 10.1007/978-3-540-68855-6_6
C. Pajault, Jean-François Pradat-Peyre, Pierre Rousseau
{"title":"Adapting Petri Nets Reductions to Promela Specifications","authors":"C. Pajault, Jean-François Pradat-Peyre, Pierre Rousseau","doi":"10.1007/978-3-540-68855-6_6","DOIUrl":"https://doi.org/10.1007/978-3-540-68855-6_6","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126118409","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：