{"title":"软件与环境交互作用的定量分析","authors":"Yanfang Ma, Liang Chen","doi":"10.1109/ISSSR.2016.012","DOIUrl":null,"url":null,"abstract":"Security problem of a software mainly comes from the interaction between software and its environment. In this study, the quantification modeling of the interaction between software and its environment will be established based on process calculus theory. The refinement relations of the software are proposed to compare the ability of interaction between software and its environment. The pre-congruences of refinement relation under various operators are proved to support hierarchic and modular design of software.","PeriodicalId":257409,"journal":{"name":"2016 International Symposium on System and Software Reliability (ISSSR)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"The Quantitative Analysis of Interaction between Software and Environment\",\"authors\":\"Yanfang Ma, Liang Chen\",\"doi\":\"10.1109/ISSSR.2016.012\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Security problem of a software mainly comes from the interaction between software and its environment. In this study, the quantification modeling of the interaction between software and its environment will be established based on process calculus theory. The refinement relations of the software are proposed to compare the ability of interaction between software and its environment. The pre-congruences of refinement relation under various operators are proved to support hierarchic and modular design of software.\",\"PeriodicalId\":257409,\"journal\":{\"name\":\"2016 International Symposium on System and Software Reliability (ISSSR)\",\"volume\":\"60 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2016 International Symposium on System and Software Reliability (ISSSR)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISSSR.2016.012\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 International Symposium on System and Software Reliability (ISSSR)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISSSR.2016.012","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The Quantitative Analysis of Interaction between Software and Environment
Security problem of a software mainly comes from the interaction between software and its environment. In this study, the quantification modeling of the interaction between software and its environment will be established based on process calculus theory. The refinement relations of the software are proposed to compare the ability of interaction between software and its environment. The pre-congruences of refinement relation under various operators are proved to support hierarchic and modular design of software.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
