Formal Analysis - Globe Thesis

Keyword [Formal Analysis] Result: 141 - 160 \| Page: 8 of 10
141.	Automatic Verification Of Authentication In Security Protocol Java Implementation In Computational Model
142.	Research And Application Of The SAT-based Formal Analysis Methods For Security Protocols
143.	The Formal Analysis And Verification Of Frameworks Of Smart Home Based On PAT
144.	Formal Modeling And Verification Of Smart Home Care Systems
145.	Formal Analysis And Vulnerability Detection Of E-Commerce Protocol
146.	Formal Analysis And Verification Of OAuth 2.0 Protocol Improved By Key Cryptosystems
147.	Research Of RFID Communication Security Protocol
148.	Research On Multi RFID Tags Authentication Protocol Based On Quadratic Residue
149.	Generating Security Protocol Implementation Based On Computational Model
150.	The Formal Modeling And Verification Of Resource-Oriented Internet Of Things System
151.	Design And Implementation Of Security Mechanism In Unified Communication
152.	Formal Research Of The Remote Attestation Protocol Based On User Attributes
153.	Formal Analysis And Research On Mutual Authentication Protocol For Cloud User
154.	The Mechanism Design On Fairness And Its Formal Analysis Of Rational Exchange Protocol
155.	The Design And Analysis Of Access Authentication Protocol Based On EAP
156.	Research Of SSL/TLS Security
157.	Research Of The Scheme Of Data Confidentiality In Multi-path Sub-packet Based Wireless Sensor Networks
158.	Formal Analysis And Research Of Mobile Payment Protocol
159.	Building A Cloud-based Application Software Model Using UML And Event-B
160.	Research On Key Technologies Of Blockchain Electronic Transaction Security
<<First <Prev Next> Last>> Jump to