基于多维度抽象和广度优先搜索空间划分的隐蔽信息流检测方法
隐蔽信息流检测是开发可信计算机系统中的关键问题,而状态空间爆炸是基于状态机模型检测隐蔽信息流的主要障碍。提出一种多安全级系统中基于主体安全级的二维抽象方法,在此基础上设计了广度优先的搜索空间划分方法,使得划分变量的选取范围更大,扩展了搜索空间划分的应用范围,克服了深度优先划分方法中划分变量难以选取的问题。实验数据表明,结合抽象和搜索空间划分的方法有效降低了模型的验证规模,因此有效缓解了状态空间爆炸问题。...
Saved in:
| Published in | 计算机应用研究 Vol. 33; no. 5; pp. 1533 - 1536 |
|---|---|
| Main Author | |
| Format | Journal Article |
| Language | Chinese |
| Published |
江苏大学 计算机科学与通信工程学院,江苏 镇江,212013
2016
|
| Subjects | |
| Online Access | Get full text |
| ISSN | 1001-3695 |
| DOI | 10.3969/j.issn.1001-3695.2016.05.055 |
Cover
| Abstract | 隐蔽信息流检测是开发可信计算机系统中的关键问题,而状态空间爆炸是基于状态机模型检测隐蔽信息流的主要障碍。提出一种多安全级系统中基于主体安全级的二维抽象方法,在此基础上设计了广度优先的搜索空间划分方法,使得划分变量的选取范围更大,扩展了搜索空间划分的应用范围,克服了深度优先划分方法中划分变量难以选取的问题。实验数据表明,结合抽象和搜索空间划分的方法有效降低了模型的验证规模,因此有效缓解了状态空间爆炸问题。 |
|---|---|
| AbstractList | TP309.2; 隐蔽信息流检测是开发可信计算机系统中的关键问题，而状态空间爆炸是基于状态机模型检测隐蔽信息流的主要障碍。提出一种多安全级系统中基于主体安全级的二维抽象方法，在此基础上设计了广度优先的搜索空间划分方法，使得划分变量的选取范围更大，扩展了搜索空间划分的应用范围，克服了深度优先划分方法中划分变量难以选取的问题。实验数据表明，结合抽象和搜索空间划分的方法有效降低了模型的验证规模，因此有效缓解了状态空间爆炸问题。 隐蔽信息流检测是开发可信计算机系统中的关键问题,而状态空间爆炸是基于状态机模型检测隐蔽信息流的主要障碍。提出一种多安全级系统中基于主体安全级的二维抽象方法,在此基础上设计了广度优先的搜索空间划分方法,使得划分变量的选取范围更大,扩展了搜索空间划分的应用范围,克服了深度优先划分方法中划分变量难以选取的问题。实验数据表明,结合抽象和搜索空间划分的方法有效降低了模型的验证规模,因此有效缓解了状态空间爆炸问题。 |
| Abstract_FL | The detection of covert information flow is a key problem in developing secure systems.State space explosion is the main obstacle to the detection of covert information flow identification through the state machine model.This paper proposed a two-dimensional abstract method for the subject in multi-level security system.Thereafter,it proposed a verification space divi-sion method based on breadth first searching strategy.Compared with the known similar algorithms,this method enlarged the division variables candidates and thereby easier to be implemented in practice.Experiment data shows that the combination of multi-dimensional abstract and verification space division method effectively reduces the scale of verification model,and miti-gates the state space explosion problem. |
| Author | 王昌达 朱锦 |
| AuthorAffiliation | 江苏大学计算机科学与通信工程学院,江苏镇江212013 |
| AuthorAffiliation_xml | – name: 江苏大学 计算机科学与通信工程学院,江苏 镇江,212013 |
| Author_FL | Wang Changda Zhu Jin |
| Author_FL_xml | – sequence: 1 fullname: Wang Changda – sequence: 2 fullname: Zhu Jin |
| Author_xml | – sequence: 1 fullname: 王昌达 朱锦 |
| BookMark | eNo9kF1LAkEUhufCILX-RHTRzW5ndpxx5zKkLxC68V4m3TGXWsslwruECqkIkb6QIKwIuopIL9wS_4wzq_-iDSM48HJeHs6BJ4FiXsVzEFrEYBLO-LJrln3fMzEANgjj1LQAMxNoNDSG4v_9LEr4vguQsjCHOMqpx2AUXKmXdvjVVcGrPh-MPzqqdan6w2gdfd-r04ZuPoTdp_AtmNx1VaOlGmdh-2TSbo6vB6NhR9ffda-un49170Lf9vXnzRyakWLXd-b_Molya6u5zIaR3VrfzKxkjQIDaqSlZDbBQlicAE3Z2AYpCBXbtixSjh2BJWeCW6midByKoSAktQU4VrpILMqBJNHS9OyR8KTwSnm3clj1ood513drtZr7qwBoJCBCF6ZoYafilQ7KEbxfLe-Jai3PmM2AWDhNfgBSZ3_2 |
| ClassificationCodes | TP309.2 |
| ContentType | Journal Article |
| Copyright | Copyright © Wanfang Data Co. Ltd. All Rights Reserved. |
| Copyright_xml | – notice: Copyright © Wanfang Data Co. Ltd. All Rights Reserved. |
| DBID | 2RA 92L CQIGP W92 ~WA 2B. 4A8 92I 93N PSX TCJ |
| DOI | 10.3969/j.issn.1001-3695.2016.05.055 |
| DatabaseName | 维普期刊资源整合服务平台 中文科技期刊数据库-CALIS站点 维普中文期刊数据库 中文科技期刊数据库-工程技术 中文科技期刊数据库- 镜像站点 Wanfang Data Journals - Hong Kong WANFANG Data Centre Wanfang Data Journals 万方数据期刊 - 香港版 China Online Journals (COJ) China Online Journals (COJ) |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| DocumentTitleAlternate | Covert information flow detection based on multi-dimensional abstract and breadth first verification space division |
| DocumentTitle_FL | Covert information flow detection based on multi-dimensional abstract and breadth first verification space division |
| EndPage | 1536 |
| ExternalDocumentID | jsjyyyj201605055 668603217 |
| GrantInformation_xml | – fundername: 国家自然科学基金资助项目; 江苏省科技支撑计划资助项目; 江苏省六大人才高峰资助项目; 江苏大学拔尖人才计划资助项目 funderid: (61300228); (BE2013103); (1631170006); (1213000013) |
| GroupedDBID | -0Y 2B. 2C0 2RA 5XA 5XJ 92H 92I 92L ACGFS ALMA_UNASSIGNED_HOLDINGS CCEZO CQIGP CUBFJ CW9 TCJ TGT U1G U5S W92 ~WA 4A8 93N ABJNI PSX |
| ID | FETCH-LOGICAL-c605-7ff6831aa2930548180fa35ab8fd591ea1f96a924dfee510caf58a0e27d325903 |
| ISSN | 1001-3695 |
| IngestDate | Thu May 29 03:54:51 EDT 2025 Wed Feb 14 10:19:37 EST 2024 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Issue | 5 |
| Keywords | verification space division 模型检测 model checking 抽象 covert information flow abstract 搜索空间划分 隐蔽信息流 |
| Language | Chinese |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c605-7ff6831aa2930548180fa35ab8fd591ea1f96a924dfee510caf58a0e27d325903 |
| Notes | 51-1196/TP covert information flow; abstract; verification space division; model checking The detection of covert information flow is a key problem in developing secure systems. State space explosion is the main obstacle to the detection of covert information flow identification through the state machine model. This paper proposed a two-dimensional abstract method for the subject in multi-level security system. Thereafter,it proposed a verification space division method based on breadth first searching strategy. Compared with the known similar algorithms,this method enlarged the division variables candidates and thereby easier to be implemented in practice. Experiment data shows that the combination of multi-dimensional abstract and verification space division method effectively reduces the scale of verification model,and mitigates the state space explosion problem. Wang Changda, Zhu Jin （ School of Computer Science ＆ Telecommunication Engineering, Jiangsu University, Zhenjiang Jiangsu 212013, China） |
| PageCount | 4 |
| ParticipantIDs | wanfang_journals_jsjyyyj201605055 chongqing_primary_668603217 |
| PublicationCentury | 2000 |
| PublicationDate | 2016 |
| PublicationDateYYYYMMDD | 2016-01-01 |
| PublicationDate_xml | – year: 2016 text: 2016 |
| PublicationDecade | 2010 |
| PublicationTitle | 计算机应用研究 |
| PublicationTitleAlternate | Application Research of Computers |
| PublicationTitle_FL | Application Research of Computers |
| PublicationYear | 2016 |
| Publisher | 江苏大学 计算机科学与通信工程学院,江苏 镇江,212013 |
| Publisher_xml | – name: 江苏大学 计算机科学与通信工程学院,江苏 镇江,212013 |
| SSID | ssj0042190 ssib001102940 ssib002263599 ssib023646305 ssib051375744 ssib025702191 |
| Score | 2.0448422 |
| Snippet | 隐蔽信息流检测是开发可信计算机系统中的关键问题,而状态空间爆炸是基于状态机模型检测隐蔽信息流的主要障碍。提出一种多安全级系统中基于主体安全级的二维抽象方法,在此基... TP309.2; 隐蔽信息流检测是开发可信计算机系统中的关键问题，而状态空间爆炸是基于状态机模型检测隐蔽信息流的主要障碍。提出一种多安全级系统中基于主体安全级的二维抽象... |
| SourceID | wanfang chongqing |
| SourceType | Aggregation Database Publisher |
| StartPage | 1533 |
| SubjectTerms | 抽象 搜索空间划分 模型检测 隐蔽信息流 |
| Title | 基于多维度抽象和广度优先搜索空间划分的隐蔽信息流检测方法 |
| URI | http://lib.cqvip.com/qk/93231X/201605/668603217.html https://d.wanfangdata.com.cn/periodical/jsjyyyj201605055 |
| Volume | 33 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVEBS databaseName: EBSCOhost Academic Search Ultimate issn: 1001-3695 databaseCode: ABDBF dateStart: 20130901 customDbUrl: https://search.ebscohost.com/login.aspx?authtype=ip,shib&custid=s3936755&profile=ehost&defaultdb=asn isFulltext: true dateEnd: 99991231 titleUrlDefault: https://search.ebscohost.com/direct.asp?db=asn omitProxy: true ssIdentifier: ssib025702191 providerName: EBSCOhost |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnR1da9RAcOkHiC9-i7UqFbpP5eol2Wx2H5NrjuKDTyf07djcXVr6cFXbPrRPFlSKipTiF0WQqgg-idg-9LT0N_gfmlz7L5zZbO9CW0oVQm5uMjszO5NkJsvuLCHDitWwKnmtUIslDt3U6oWozlTBq7OYccYFvJhxtsU9Pn6f3Z1wJ3p6_-RmLc3PRaO1xWPXlfyPVwEHfsVVsv_g2Q5TQAAM_oUzeBjOp_IxDV0qyzTwacjwLELE-IxKwHg0CGjAEAOXfE5DToVPgzEaChpY1Ld0c5uKkqaRNCjniIFhiUqBGAGHwOaySGVJc2bUtxHwpZYuqfSMLKAEnhkgONKAMoJpGh85gHTJtBoMJaIaoBjoU0YgcBEGwHdwEobBBFo6RyUR49Bsy8yDrBp5-qFm5SEAyiB9SeumewQSURNQW2iaosGg_p2xSUSACY00oQ0Dpgrh6JJkfC3dH2DH88Mm2XpOfYtrPS30DrAAjqJsXON7GhiDpiMn6u0hqbQ61NpeQvtY6vkpfs6C0Emgd3UrLa_bCvSU6C27dFSnEX0ZDOx1r9klyDOK2dJdE65wQpzDjc1NPHOc3HPr5oITpva5RAeSZ-u4IOpILnUQRRGjHRE4DZLrKrdZXeVDZcqnZ6cXFhamkQg3R3R7Sb-NQ2R9pN8PxoJyN0eHlDZfs9HGckjdb2Lc0IDnghDusghRtROEXMvxXL1lQ5ZuMbiYlRwxep4hw6YTd07qAtZSmZppTj6EDFEv2GvGqjmZyy0rF8g581E45GdP-EXSszh1iZw_2HBlyMTfy6SSfGzttl4lX9bavzaS1tf0-fbej_Vk9WWytQN_d3-_T54upysf2huf2t9a--82kuXVZPlZe-3J_trK3uvt3Z31dOl7urmUfn6cbr5I326lP99cIZVyWCmNF8y2KIUamLbgxTEXjqUUJOrwvYW1GmLluCoScd2VVkNZseRK2qweNxoQcWsqdoUqNmyv7tiuLDpXSV9zptm4RoakIwSXSkWyHkEgl8ouqshqxE4MP9y2Bshgx0bVB1n1myrnghcd2_IGyG1jtap5J85WD98F109BM0jOIpyNa94gfXOP5hs3IdOfi26Ze-cvrD7JjA |
| linkProvider | EBSCOhost |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=%E5%9F%BA%E4%BA%8E%E5%A4%9A%E7%BB%B4%E5%BA%A6%E6%8A%BD%E8%B1%A1%E5%92%8C%E5%B9%BF%E5%BA%A6%E4%BC%98%E5%85%88%E6%90%9C%E7%B4%A2%E7%A9%BA%E9%97%B4%E5%88%92%E5%88%86%E7%9A%84%E9%9A%90%E8%94%BD%E4%BF%A1%E6%81%AF%E6%B5%81%E6%A3%80%E6%B5%8B%E6%96%B9%E6%B3%95&rft.jtitle=%E8%AE%A1%E7%AE%97%E6%9C%BA%E5%BA%94%E7%94%A8%E7%A0%94%E7%A9%B6&rft.au=%E7%8E%8B%E6%98%8C%E8%BE%BE&rft.au=%E6%9C%B1%E9%94%A6&rft.date=2016&rft.pub=%E6%B1%9F%E8%8B%8F%E5%A4%A7%E5%AD%A6+%E8%AE%A1%E7%AE%97%E6%9C%BA%E7%A7%91%E5%AD%A6%E4%B8%8E%E9%80%9A%E4%BF%A1%E5%B7%A5%E7%A8%8B%E5%AD%A6%E9%99%A2%2C%E6%B1%9F%E8%8B%8F+%E9%95%87%E6%B1%9F%2C212013&rft.issn=1001-3695&rft.volume=33&rft.issue=5&rft.spage=1533&rft.epage=1541&rft_id=info:doi/10.3969%2Fj.issn.1001-3695.2016.05.055&rft.externalDocID=jsjyyyj201605055 |
| thumbnail_s | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=http%3A%2F%2Fimage.cqvip.com%2Fvip1000%2Fqk%2F93231X%2F93231X.jpg http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=http%3A%2F%2Fwww.wanfangdata.com.cn%2Fimages%2FPeriodicalImages%2Fjsjyyyj%2Fjsjyyyj.jpg |