• 不限
  • 期刊论文
  • 硕博论文
  • 会议论文
  • 报 纸
  • 英文论文
搜索筛选:
搜索耗时4.4239秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
类      型:
全部 期刊 学位 会议 报纸 英文
发布年度:
全部 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 更早
排序方式:
相关性 最新发表 最早发表
Formal Verification of the Merchant Registration Phase of the SET Protocol
[期刊论文] 作者：Xiao-Qi Ma,Xiao-Chun Cheng, 来源：国际自动化与计算杂志：英文版 年份：2005
This paper describes the formal verification of the Merchant Registration phase of the Secure Electronic Transactions (SET) protocol, a realistic electronic tra...
相关搜索：