Font Size:
a
A
A
Keyword [Security properties]
Result: 1 - 10 | Page: 1 of 1
1.
Key Issues Of Formal Analysis For Seciruty Protocols
2.
Verification And Synthesis Strategy Of Information Flow Security Properties Based On Petri Net
3.
The Behavioral Analysis On Alipay Protocol
4.
Formal Modeling And Verification On Web Applications Based On Extended UML 2.3
5.
Selection And Combinable Proof Of IP Core Security Path
6.
Analyse formelle des protocoles cryptographiques et flux d'information admissible
7.
Verifying security properties using type-qualifier inference
8.
Constraint-based analysis of security properties
9.
High-confidence development of secure e -mail systems
10.
Testing Hardware Security Properties and Identifying Timing Channels
<<First
<Prev Next>
Last>>
Jump to
