Font Size:
a
A
A
Keyword [Proof]
Result: 1 - 20 | Page: 1 of 10
1.
Research On KDM Secure And Other Related Cryptographic Schemes
2.
Analysis And Design Of RFID Security Protocols In The Internet Of Things
3.
Research On Some Problems Of Control Of Violation In Electronic Payment And Related Technology
4.
Studies On Information Hiding And Subliminal Channels
5.
Intelligent Information Processing Based On XML
6.
IGeo: A Theorem Prover Of The Intelligent Geometry Software
7.
Research On The Cryptosystem Related To Secret Key Security
8.
Research On Key Techniques Of Session Key Establishment
9.
Studies In Secure Computation And Application
10.
Theory And Approaches For Intrusion Tolerance
11.
Study On Security Protocol For Digital Copyright Protection Under Open Environment
12.
Formal Verification Technology For Object-Oriented Software
13.
Research On Primitives Of Secure Multi-party Quantum Computation
14.
Research On Security Proof For Public-key Cryptosystems
15.
A Modular Approach On Building Certified Software System
16.
Research On Image Digital Watermarking Based On Copyright Protection
17.
Certifying The Safety Of Assembly Pointer Programs
18.
Proof-Carrying Garbage Collection
19.
Certifying Concurrent Porgrams Using Transactional Memory
20.
Research On Secure Electronic Auction
<<First
<Prev
Next>
Last>>
Jump to
