Formal Analysis - Globe Thesis

Keyword [Formal Analysis] Result: 101 - 120 \| Page: 6 of 10
101.	Research On Identity Based Authentication And Key Agreement Protocol
102.	Studies On Rfid Security Authentication Protocol
103.	Formal Analysis And Verification Of A Transaction Coordination Protocol Named Ws-tx For Web Services
104.	Cdma2000 System User Authentication Protocol And Implementation
105.	Logical Methods Of Improvement And A Number Of Cryptographic Protocols, Security Analysis
106.	Ipv6 Environment Ikev2 Formal Analysis And Application Of Research
107.	The Formal Analysis Of Cryptographic Protocols
108.	Formal Analysis And Verification Of Business Process In E - Commerce Environment
109.	Formal Analysis And Verification Of Internet Security Protocol
110.	Research On Automaitc Analysis Of Security Protocols Based On Strand Space Model
111.	Formal Analysis For Train Control System Based On Runtime Verification
112.	Research On Proxy Electronic Voting Protocol
113.	Management And Discovery Research Of The Semantic Web Services Based On Concept Lattice
114.	Modeling And Research On Formal Analysis Of Security Protocols Based On Strand Space
115.	Dynamic Updating In Ubiquitous Computing And Its Formal Research
116.	Research On Automatically Formal Analysis For Security Protocols Based On Probabilistic Polynomial-time Process Calculus
117.	A Combining Deterministic Finite Automaton With Logic Rules Approach For Analyzing Of E-commerce Protocol
118.	The Research Of Mobile Payment Security Protocols Based On Symmetric Cryptosystem
119.	Study On Theory And Applications Of Security Protocols Formal Analysis
120.	Analvsis And Development On Formal Method Of Secruity Protocol Based On Strand Space Model
<<First <Prev Next> Last>> Jump to