User Assisted Verification of Non-Repudiation and Similar Properties

机译：用户协助的不可否认性和类似属性的验证

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

The paper presents primitives which allow the user to describe a protocol at an abstract level and a wide variety of properties including non-repudiation and anonymity. The approach suggested then attempts to automatically verify if the protocol satisfies the specified properties. The verification is performed using a theorem prover. To assist this process, the user can provide hints as to why the required property holds.

机译：本文介绍了一些原语，这些原语使用户可以抽象级别地描述协议，并具有包括不可否认性和匿名性在内的各种特性。建议的方法然后尝试自动验证协议是否满足指定的属性。使用定理证明者执行验证。为了辅助此过程，用户可以提供有关为什么保留必需属性的提示。

著录项

来源
《Proceedings of the International Conference on Security and Management(SAM'03)》|2003年|P.161-167|共7页
会议地点 Las Vegas NV(US);Las Vegas NV(US)
作者
Padmanabhan Krishnan; Robert Bannerman;
展开▼
作者单位

School of Information Technology Bond University Gold Coast, Queensland 4229, Australia;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类安全保密;信息处理（信息加工）;
关键词
security properties; user assisted verification; theorem proving;

机译：安全属性；用户辅助验证；定理证明;

相似文献

外文文献
中文文献
专利

1. Fepchecker: An Automatic Model Checker for Verifying Fairness and Non-Repudiation of Security Protocols in Web Service [J] . Xiaohong Li, Jiayi Xu, Guangquan Xu, International journal of software engineering and knowledge engineering . 2016,第4期

机译：Fepchecker：自动模型检查器，用于验证Web服务中安全协议的公平性和不可否认性
2. Design and verification of a non-repudiation protocol based on receiver-side smart card [J] . Liu J., Vigneron L. Information Security, IET . 2010,第1期

机译：基于接收方智能卡的不可否认协议设计与验证
3. A game-based verification of non-repudiation and fair exchange protocols [J] . Steve Kremer, Jean-Francois Raskin Journal of computer security . 2003,第3期

机译：基于游戏的不可否认和公平交换协议的验证
4. User Assisted Verification of Non-Repudiation and Similar Properties [C] . Padmanabhan Krishnan, Robert Bannerman International conference on information and knowledge engineering . 2003

机译：用户辅助验证非拒绝和类似的属性
5. User Assisted Data Structure Debugging and Verification. [D] . Singh, Vineet. 2016

机译：用户协助的数据结构调试和验证。
6. Does probe-tube verification of real-ear hearing aid amplification characteristics improve outcomes in adult hearing aid users? A protocol for a systematic review [O] . Ibrahim Almufarrij, Kevin J Munro, Harvey Dillon 2020

机译：实际耳听力放大特征的探测管验证是否改善了成人助听器用户的结果？系统审查的协议
7. QR-CODE BASED NON-REPUDIATION TRANSACTION VERIFICATION SYSTEM [O] . Jakub Nantl 2013

机译：基于QR码的非拒绝交易验证系统

User Assisted Verification of Non-Repudiation and Similar Properties

摘要

著录项

相似文献

相关主题

期刊订阅