搜索页_+Protocol+verification+

设为首页

收藏本站

网站地图 | English | 公务邮箱

读者指南

学术客户端

NSTL服务站

科技查新

外文资源

Wiley电子期刊(17)	SpringerLink电子期刊(1460)	NATURE电子期刊(5)	Elsevier电子期刊(781)
Springer电子图书(29)	ProQuest学位论文(100)	GSW全文库(2)	ACS电子期刊(20)

在“SpringerLink电子期刊”中，命中：1,460条，耗时：0.0209898 秒

在所有数据库中总计命中：2,414条

1. An improved and anonymous two-factor authentication protocol for health-care applications with wireless medical sensor networks

作者： Fan Wu ; Lili Xu ; Saru Kumari ; Xiong Li

关键词：Wireless medical sensor network ; Smart card ; The off ; line guessing attack ; The sensor capture attack ; Mutual authentication

刊名：Multimedia Systems

出版年：2017

2. Cryptanalysis and Extended Three-Factor Remote User Authentication Scheme in Multi-Server Environment

作者： Preeti Chandrakar ; Hari Om

关键词：Authentication ; AVISPA ; BAN Logic ; Cryptanalysis ; Three ; factor

刊名：Arabian Journal for Science and Engineering

出版年：2017

3. Private data aggregation with integrity assurance and fault tolerance for mobile crowd-sensing

作者： Jianwei Chen ; Huadong Ma ; Dong Zhao

关键词：Mobile crowd ; sensing ; Privacy protection ; Aggregate statistics ; Group management ; Data integrity ; Fault tolerance

刊名：Wireless Networks

出版年：2017

4. Cast-as-Intended Verification in Electronic Elections Based on Oblivious Transfer

刊名：Lecture Notes in Computer Science

出版年：2017

5. A privacy-preserving and provable user authentication scheme for wireless sensor networks based on Internet of Things security

作者： Fan Wu ; Lili Xu ; Saru Kumari ; Xiong Li

关键词：Internet of Things ; Wireless sensor network ; Mutual authentication ; Formal proof ; Smart card

刊名：Journal of Ambient Intelligence and Humanized Computing

出版年：2017

6. Model checking of state-rich formalism by linking to \(CSP\,\Vert \,B\)

作者： Kangfeng Ye…

关键词：\(CSP \parallel B\) ; CSPZB ; ProB ; Model checking ; Buffer

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

7. Equivalence class verification of the contract net protocol-extension

作者： Amar Kumar Gupta ; Guy Edward Gallasch

关键词：Contract net protocol ; extension ; Coloured petri nets ; CPN tools ; State space ; Reachability graph ; Equivalence class ; Verification

刊名：International Journal on Software Tools for Technology Transfer (STTT)

出版年：2016

8. Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties

关键词：Verification tools for cryptographic protocols ; Algebraic properties ; Benchmarking ; Performances’ evaluations

刊名：Lecture Notes in Computer Science

出版年：2016

9. AnBx: Automatic Generation and Verification of Security Protocols Implementations

关键词：Security protocols ; Java code generation ; Applied formal methods ; Verification

刊名：Lecture Notes in Computer Science

出版年：2016

10. Towards Verification of Dialogue Protocols: A Mathematical Model

关键词：Formal dialogue system ; Protocol ; Verification

刊名：Lecture Notes in Computer Science

出版年：2016

按检索点细分(1460)

题名(222)

关键词(169)

文摘(1167)

按出版年细分(1460)

2017年(6)

2016年(82)

2015年(118)

2014年(112)

2013年(129)

2012年(102)

2011年(33)

2010年(67)

2009年(91)

2008年(98)

2007年(130)

2006年(129)

2005年(135)

2004年(63)

2003年(48)

2002年(43)

2001年(13)

2000年(19)

2000年及以前(42)

常见问题　|　交通位置　|　联系我们　|　OA远程办公

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700