首页> 外文OA文献 >A formal approach for automated reasoning about off-line and undetectable on-line guessing

【2h】

A formal approach for automated reasoning about off-line and undetectable on-line guessing

机译：关于离线和不可检测的在线猜测的自动推理的正式方法

页面导航

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

著录项

作者
Bogdan Groza; Marius Minea;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. An undetectable on-line password guessing attack on Nam et al.'s three-party key exchange protocol [J] . Cheng-Chi Lee, Chun-Ta Li, Rui-Xiang Chang Journal of Computational Methods in Sciences and Engineering . 2013,第5a6期

机译：对Nam等人的三方密钥交换协议的不可检测的在线密码猜测攻击
2. Security enhancement for a three-party encrypted key exchange protocol against undetectable on-line password guessing attacks [J] . Hsing-Bai Chen, Tzung-Her Chen, Wei-Bin Lee, Computer standards & interfaces . 2008,第1a2期

机译：第三方加密密钥交换协议的安全性增强，可防止无法检测到的在线密码猜测攻击
3. Undetectable On-line Password Guessing Attacks [J] . Yun Ding, Patrick Horster Operating systems review . 1995,第4期

机译：无法检测到的在线密码猜测攻击
4. A Formal Approach for Automated Reasoning about Off-Line and Undetectable On-Line Guessing (Short Paper) [C] . Bogdan Groza, Marius Minea Financial cryptography and data security . 2010

机译：离线和不可测的在线猜测的自动推理的一种正式方法（简短论文）
5. Client/server security and off-line guessing. [D] . Alireza, Khalid A. 2000

机译：客户端/服务器安全性和离线猜测。
6. Research on the Error Characteristics of a 110 kV Optical Voltage Transformer under Three Conditions: In the Laboratory Off-Line in the Field and During On-Line Operation [O] . Xia Xiao, Haoliang Hu, Yan Xu, 2016

机译：110 kV光学电压互感器在实验室现场离线和在线运行三种情况下的误差特性研究
7. Causal reasoning in the diagnosis of mental disorders: Evidence from on-line and off-line measures [O] . Flores Martín Amanda 2014

机译：精神障碍诊断的因果推理：来自在线和离线测量的证据
8. Formal Verification of Properties of Digital Systems Using an Automated Reasoning System [R] . Kljaich, J., Wojcik, A. S., Smith, B. T. 1986

机译：用自动推理系统对数字系统属性的形式验证

A formal approach for automated reasoning about off-line and undetectable on-line guessing

著录项

引文网络

相似文献

相关主题

期刊订阅