Font Size: a A A
Keyword [E-commerce protocol]
Result: 1 - 10 | Page: 1 of 1
1. Research On Formal Analysis Method Of The Security Of E-commerce Protocol
2. Study And Implementation On Atomicity Of E-commerce Protocol Base On Symbolic Model Checking
3. The Application Study On Formalism Of Electronic Commerce Protocols Based On SVO Logic
4. Formal Verification Method Of Model Checking-based E-commerce Agreement
5. Secure E-commerce Protocol Logic Analysis Method
6. E-commerce Protocol Analysis And Verification Based On SPIN Model Checking
7. A Combining Deterministic Finite Automaton With Logic Rules Approach For Analyzing Of E-commerce Protocol
8. Research Of Analyzing E-commerce Protocols Based On Colored Petri Nets
9. Formal Analysis And Vulnerability Detection Of E-Commerce Protocol
10. A secure mobile agent e-commerce protocol
  <<First  <Prev  Next>  Last>>  Jump to