Font Size:
a
A
A
Keyword [Kailar Logic]
Result: 1 - 8 | Page: 1 of 1
1.
Research On Formal Verification Methods Of Security Protocols
2.
The Research And Application Of Some Key Technologies Of Information Security
3.
The Study And Design On Secure Micro-Payment System
4.
Formal Verification Method Of Model Checking-based E-commerce Agreement
5.
Secure E-commerce Protocol Logic Analysis Method
6.
A Both Bb And Bc E-commerce Security Model And Its Application In Actual Cases
7.
Research On The Roaming Authentication Protocol Of The Mobile Network In The Formalization Way
8.
Design And Formal Analysis Of Electronic Commerce Security Protocols
<<First
<Prev Next>
Last>>
Jump to
