首页> 外文OA文献 >A Formal Specification of Requirements for Payment Transactions in the SET Protocol

【2h】

A Formal Specification of Requirements for Payment Transactions in the SET Protocol

机译：SET协议中的付款交易要求的正式规范

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Catherine Meadows; Paul Syverson;
展开▼
作者单位

展开▼
年度 1998
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols [J] . Catherine Meadows Science of Computer Programming . 2004,第1a3期

机译：从Satan的菜单订购：对加密协议进行形式分析的需求规范调查
2. Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements [J] . Hassan R., Eltoweissy M., Bohner S., Software, IET . 2010,第2期

机译：工程安全的形式化分析和设计，可从面向目标的安全要求中自动得出正式的软件安全规范
3. Computer-aided discovery of formal specification behavioral requirements and requirement to implementation mappings [J] . Doron Drusinsky Innovations in Systems and Software Engineering . 2014,第4期

机译：形式规范行为要求和对实现映射的要求的计算机辅助发现
4. A Formal Specification of Requirements for Payment Transactions in the SET Protocol [C] . Catherine Meadows, Paul Syverson Financial cryptography . 1998

机译：SET协议中的付款交易要求的正式规范
5. TRACE SPECIFICATION OF COMMUNICATIONS PROTOCOLS (SOFTWARE ENGINEERING, FORMAL SPECIFICATION). [D] . HOFFMAN, DANIEL MALCOLM. 1984

机译：通讯协议的跟踪规范（软件工程，正式规范）。
6. The method to divide a sentence of requirement into individual requirements and the development of requirement specification editor which can describe individual requirements [O] . Kuniya Sato, Masahiro Ooba, Tomohiko Takagi, -1

机译：将需求语句划分为各个需求的方法以及可以描述各个需求的需求规范编辑器的开发
7. Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols [O] . Meadows Catherine 2004

机译：从Satan的菜单中订购：对加密协议进行形式分析的需求规范调查
8. Formal Specification of Requirements for Payment Transactions in the SET Protocol [R] . Meadows, C. , Syverson, P. 1998

机译：sET协议中付款交易要求的正式规范

A Formal Specification of Requirements for Payment Transactions in the SET Protocol

著录项

引文网络

相似文献

相关主题

期刊订阅