Enhance the security properties and information flow control.

Nadya el Moussaid Maryam el Azhari

Published in: Int. J. Electron. Bus. (2020)

Keyphrases

security properties
information flow control
security analysis
formal model
security requirements
security protocols
cryptographic protocols
security vulnerabilities
formal methods
information flow
artificial intelligence
knowledge acquisition
smart card