作者:
出版社: 燕山大学出版社
CIP号:2020149368
书号:978-7-5761-0049-5
出版地:秦皇岛
出版时间:2020.8
定价:¥39.0
本书采用可执行代码分析和控制流重构方法自动采集软件的行为特征;引入进程代数作为形式化工具,对行为的变化、时序、交互和并发特征进行合理抽象,建立行为模型;利用演算和约简等代数性质降低模型的复杂度;构建个人信息安全验证规则和检测策略,进行行为检测,从技术层面保护个人信息免遭泄露、滥用等侵害。本书旨在探究满足个人信息安全需求的软件行为建模和检测规律,为搭建面向个人信息保护领域的安全平台提供理论和技术依托。