-
题名分布式系统中抵御错误注入攻击的优化设计
被引量：1
- 1
-
-
作者
文亮
江维
潘雄
周可染
董琪
王峻龙
-
机构
电子科技大学信息与软件工程学院
-
出处
《计算机应用》
CSCD
北大核心
2016年第2期495-498,共4页
-
基金
核高基重大专项(2012ZX01033001-001)
国家自然科学基金资助项目(61300092
+1 种基金
61003032)
中央高校基本科研业务费专项资金资助项目(ZYGX2013J068)~~
-
文摘
安全关键分布式系统面临恶意窃听和错误注入攻击的挑战。以往研究主要针对防止恶意窃听,即考虑提供保密性服务,而忽略了错误注入的安全威胁。针对上述问题,考虑为消息的加解密过程进行错误检测,并最大化系统的错误覆盖率,最小化系统的异构度。首先选取AES对消息进行加解密;然后基于错误检测码确定了五种不同的错误检测方案,并求出了对应的错误覆盖率及时间开销;最后在保证实时性的约束下,提出了一种基于模拟退火(SA)的启发式算法,该算法能最大化系统的错误覆盖率和最小化系统的异构度。实验结果表明,所提算法与贪心算法相比,目标函数值提高了18%以上,该算法具有一定有效性和健壮性。
-
关键词
恶意窃听
错误注入攻击
保密性服务
错误覆盖率
模拟退火
-
Keywords
malicious snooping
fault injection attack
confidentiality service
fault coverage
Simulated Annealing（SA）
-
分类号
TP316.4
[自动化与计算机技术—计算机软件与理论]
TP309.2
[自动化与计算机技术—计算机科学与技术]
-
-
题名基于改进FSM的RBAC测试集约简方法
- 2
-
-
作者
袁佳琳
高建华
-
机构
上海师范大学计算机科学与技术系
-
出处
《计算机工程》
CAS
CSCD
2012年第17期42-45,48,共5页
-
基金
国家自然科学基金资助项目(61073163)
上海市科委基金资助项目(09220503000)
上海市引进技术的吸收与创新计划基金资助项目(2010CH-014)
-
文摘
使用完备的有限状态机生成一致性测试集虽然有效,但数量庞大。针对该问题,考虑一般系统访问控制的基本需求,提出6种探索式方法对有限状态机(FSM)进行约简,有效避免状态爆炸的现象发生,简化了生成的一致性测试集大小。对基于FSM生成树进行实验,结果表明,改进FSM对缩小基于角色的访问控制系统一致性测试集是有效的。
-
关键词
有限状态机
权限控制
基于角色的访问控制
一致性测试集
试探法
错误覆盖率
-
Keywords
Finite State Machine（FSM）
authority control
Role-based Access Control（RBAC）
conformance test suite
heuristic method
faultcoverage rate
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
