IronMask: Versatile Verification of Masking Security.
Sonia BelaïdDarius MercadierMatthieu RivainAbdul Rahman TalebPublished in: IEEE Symposium on Security and Privacy (2022)
Keyphrases
- high security
- integrity verification
- java card
- security issues
- information security
- network security
- intrusion detection
- security threats
- cryptographic protocols
- security requirements
- security systems
- statistical databases
- model checking
- human visual system
- security policies
- access control
- information loss
- security mechanisms
- functional requirements
- computer security
- security protocols
- key management
- user authentication
- encryption scheme
- security problems
- smart card
- security management
- security measures
- information assurance
- high assurance
- face verification