《计算机学报》文章摘要 全文下载 | |
文章题目 | 基于SPN模型的可生存性DBMS中恶意事务修复算法的研究 |
作者 | 郑吉平1),2) 秦小麟1),2) 钟勇1) 孙瑾1) |
作者单位 | 1)(南京航空航天大学计算机科学与技术系 南京 210016) 2)(南京航空航天大学信息安全研究所 南京 210016) |
发表年份 | 2006 |
发表月份 | 8期(1480—1486) |
文章摘要 | 摘要 在传统的数据库恶意事务修复方案的基础上,采用Petri网模型分析事务撤销冲突和操作执行序列异常检测;进而结合可生存性DBMS特征提出恶意事务静态和on-the-fly修复算法,并在此基础上给出随机Petri网恶意事务修复模型;在分析恶意事务修复随机Petri网模型和连续时间Markov链的一致性后,给出了连续时间Markov链的恶意事务修复模型求解. 关键词 可生存性DBMS;随机Petri网;连续时间Markov链;恶意事务修复算法 中图法分类号 TP392 |