In-Kernel Cryptographic Executable Verification.
Yusuf MotaraBarry IrwinPublished in: IFIP Int. Conf. Digital Forensics (2005)
Keyphrases
- cryptographic protocols
- model checking
- kernel methods
- kernel function
- smart card
- kernel regression
- high assurance
- hash functions
- process algebra
- support vector
- formal specification
- formal verification
- kernel machines
- security properties
- gaussian processes
- similarity function
- mutual subspace method
- concurrent systems
- component analysis
- security protocols
- reproducing kernel hilbert space
- formal methods
- face verification
- feature space