BCiC: A System for Code Authentication and Verification.
Nathan WhiteheadMartín AbadiPublished in: LPAR (2004)
Keyphrases
- integrity verification
- multimodal biometrics
- source code
- signature verification
- model checking
- biometric authentication
- digital watermarking
- security analysis
- byte code
- high security
- verification method
- fragile watermarking
- static analysis
- formal verification
- symbolic execution
- identity authentication
- concurrent systems
- java card
- biometric data
- data sets
- security mechanisms
- temporal logic
- lightweight
- case study