Font Size:
a
A
A
Keyword [Soundness]
Result: 21 - 32 | Page: 2 of 2
21.
Authentication Of Relational Query Based On Hierarchical Hash Chain
22.
Object Petri Nets Based Modeling Of Service Integration And Preliminary Analysis Of Soundness
23.
Analysis And Control About The Change Region Of Business Process Petri Net Model Under The Data Constraint
24.
The Precongruence And Axiomatic System Of CC-simulation Under GSOS/ntyft/ntyxt Operators
25.
On the computational soundness of formal analysis of cryptographic protocols
26.
Soundness and completeness of formal logics of symmetric encryption
27.
Computational Soundness of Formal Reasoning about Indistinguishability and Non-Malleability of Cryptographic Expressions
28.
Efficient Parallel Repetition Theorems with Applications to Security Amplification
29.
An Attempted Proof with Modular ACL2: Soundness of the Racket Bytecode Verifier
30.
Coq Verification Of Multiple Semantic Relations In C Language Expressions
31.
Zero-knowledge Proof Over Lattices
32.
Design And Application Of Lattice-Based Efficient Group Signature Schemes
<<First
<Prev
Next>
Last>>
Jump to
