formal analysis - Globe Thesis

Keyword [formal analysis] Result: 161 - 180 \| Page: 9 of 10
161.	Formal Analysis And Verificaiton Of Ultralightweight RFID Mutual Authenticaiton Protocol With Model Checking
162.	Formal Analysis Of Wireless Mesh Network Client Authencation Protocols Based On Event Logic
163.	Formal Analysis And Verification Of The PSTM Architecture Using CSP
164.	An SMT-based Approach To Formal Analysis Of MARTE/CCSL And Its Applications
165.	Research On Automatic Generation Of Security Protocol Implementations Based On The Symbolic Model
166.	Formal Analysis And Security Research Of Mobile Payment Protocol
167.	Improvement Of PSTM And Its Correctness Analysis
168.	Formal Analysis And Verification Of Energy Sharing System Based On Hierarchical Combination Abstract
169.	Collusion Attacks Detection Among Android Applications
170.	Formal Analysis Of Provable Network Security Protocol Basesd On Logic Of Events
171.	Security Research And Improvement Of EtherCAT Protocol Based On CPN
172.	Safety Analysis Of EtherNet/IP Protocol Of Industrial Control System
173.	Research On The Formal Analysis Method For Bitcoin Protocols
174.	Research On An IoT Security Protocol Model That Can Resist Known Plaintext Attacks
175.	Computational modeling and formal analysis techniques in interdisciplinary studies of complex systems
176.	Formal analysis of the Kerberos authentication protocol
177.	Static and dynamic formal analysis of concurrent systems and languages: A semantics-based approach
178.	Formal analysis of timing behavior in test generation for computer and communication system
179.	Formal analysis for MPI-based high performance computing software
180.	Formal analysis of security protocols: Protocol composition logic
<<First <Prev Next> Last>> Jump to