Font Size:
a
A
A
Keyword [Formal Logic]
Result: 1 - 12 | Page: 1 of 1
1.
The Logic Analysis And Research Of Electronic Commerce Protocol
2.
Improvement To Semantic Nets About Ambiguity And Uncertain Inference Based On Petri Nets
3.
Security Analysis Of Internet Key Exchange Protocol
4.
Analysis And Research Of Electronic Commerce Protocol Property Based On Logic
5.
Application On The Formal Logic Method In Analyzing Authentication Protocols And Electronic Business Protocols
6.
Electronic Settlement Of Security Research And Implementation
7.
Efficient, usable proof-construction strategies for distributed access-control systems
8.
Formal analysis of security protocols: Protocol composition logic
9.
Feminism and formal logic
10.
Modeling designs with shape algebras and formal logic
11.
Formal, dialectical and speculative logic
12.
Formal Logic And Automatic Proof For Optimistic Fair Exchange Protocols
<<First
<Prev Next>
Last>>
Jump to
