Model-based security analysis of a water treatment system.
Eunsuk KangSridhar AdepuDaniel JacksonAditya P. MathurPublished in: SEsCPS@ICSE (2016)
Keyphrases
- security analysis
- water treatment
- smart card
- public key
- high security
- water quality
- image encryption
- security requirements
- security model
- security properties
- encryption scheme
- authentication protocol
- user authentication
- encryption algorithm
- private key
- mutual authentication
- proxy signature scheme
- data mining
- information security
- distributed environment
- software architecture
- multiresolution