Massimo Bartoletti, A. Scalas, E. Tuosto, R. Zunino
{"title":"Honesty by Typing","authors":"Massimo Bartoletti, A. Scalas, E. Tuosto, R. Zunino","doi":"10.2168/LMCS-12(4:7)2016","DOIUrl":null,"url":null,"abstract":"We propose a type system for a calculus of contracting processes. Processes may stipulate contracts, and then either behave honestly, by keeping the promises made, or not. Type safety guarantees that a typeable process is honest — that is, the process abides by the contract it has stipulated in all possible contexts, even those containing dishonest adversaries.","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"59 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"34","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"FMOODS/FORTE","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.2168/LMCS-12(4:7)2016","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 34
Abstract
We propose a type system for a calculus of contracting processes. Processes may stipulate contracts, and then either behave honestly, by keeping the promises made, or not. Type safety guarantees that a typeable process is honest — that is, the process abides by the contract it has stipulated in all possible contexts, even those containing dishonest adversaries.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
