邢栩嘉
- 作品数：4 被引量：142H指数：3
- 供职机构：清华大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 计算机系统脆弱性评估研究被引量：126
- 2004年
- 在计算机安全领域 ,特别是网络安全领域 ,对计算机系统进行脆弱性评估十分重要 ,其最终目的就是要指导系统管理员在“提供服务”和“保证安全”这两者之间找到平衡 .脆弱性评估方法的发展经历了从手动评估到自动评估的阶段 ,现在正在由局部评估向整体评估发展 ,由基于规则的评估方法向基于模型的评估方法发展 ,由单机评估向分布式评估发展 .该文阐述了脆弱性评估所要解决的问题 。
- 邢栩嘉林闯蒋屹新
- 关键词：网络安全计算机网络计算机安全计算机病毒计算机系统脆弱性评估
- 基于线性时态逻辑的Petri网模型检测
- Petri网是一种重要的数学工具,它能有效地对并发系统进行描述和建模.线性时态逻辑LTL则是描述和验证并发系统特性的一种重要的形式化工具,它能方便准确地描述并发系统的重要性质,如安全性和活性.文章深入描述了线性时态逻辑、...
- 蒋屹新林闯邢栩嘉
- 关键词：线性时序逻辑PETRI网
- 文献传递
- 基于线性时态逻辑的Petri网模型检测被引量：11
- 2003年
- Petri网是一种重要的数学工具,它能有效地对并发系统进行描述和建模。线性时态逻辑LTL则是描述和验证并发系统特性的一种重要的形式化工具,它能方便准确地描述并发系统的重要性质,如安全性和活性。文章深入描述了线性时态逻辑、Büchi自动机、Petri网和同步积之间的内在联系,并探讨了基于线性时态逻辑的Petri网模型检测策略。与其它方法比较,这种模型检测的策略结合了线性时态逻辑和Petri网模型的不同优点,增强了Petri网的模型分析和验证能力。最后,通过对一个并发系统形式化的模型检测分析,验证了相应的结论。
- 蒋屹新林闯邢栩嘉
- 关键词：线性时序逻辑PETRI网U
- 计算机网络脆弱性评估系统的设计与实现
- 在计算机安全领域，特别是网络安全领域，对计算机系统进行脆弱性评估十分重要。连接在网络上的计算机系统中存在的漏洞可能让网络上其它地方的恶意攻击者侵入计算机系统的内部，从而导致计算机系统内数据的完整性、可用性、机密性遭到破坏...
- 邢栩嘉
- 文献传递
