浏览/检索结果:共3条，第1-3条

已选(0)清除条数/页：排序方式：
	Bounded model checking of CTL 期刊论文 Journal of Computer Science and Technology,2007, 卷号: 22, 期号: 1, 页码: 39-43 作者: Tao，Zhi Hong; Zhou，Cong Hua; Chen，Zhong; Wang，Li Fu 收藏 \| 浏览/下载：0/0 \| 提交时间：2025/08/05 Bounded model checking CTL QBF Symbolic model checking
	Countermeasure for protecting authentication protocols against denial of service attack 期刊论文 Tien Tzu Hsueh Pao/Acta Electronica Sinica,2005, 卷号: 33, 期号: 2, 页码: 288-293 作者: Wei，Jian Fan; Chen，Zhong; Duan，Yun Suo; Wang，Li Fu 收藏 \| 浏览/下载：0/0 \| 提交时间：2025/08/05 Authentication protocol Denial of service Key establishment protocol Proof of work
	Information system security metrics and evaluation model 期刊论文 Tien Tzu Hsueh Pao/Acta Electronica Sinica,2003, 卷号: 31, 期号: 9, 页码: 1351-1355 作者: Yan，Qiang; Chen，Zhong; Duan，Yun Suo; Wang，Li Fu 收藏 \| 浏览/下载：1/0 \| 提交时间：2025/08/05 Access path Composition complementary security element Composition correlated security element Composition independent security element Evaluation Security metrics