Security in OPERA Specification Based PLC Systems.
Guiomar CorralJosep M. SelgaAgustín ZaballosDavid González-TarragóLuis Manuel TorresBerthold HaberlerPublished in: AICT (2010)
Keyphrases
- computer systems
- formal methods
- distributed systems
- information assurance
- formal languages
- security systems
- statistical databases
- management system
- information security
- complex systems
- learning systems
- intrusion detection
- intelligent systems
- information sharing
- key management
- communication protocols
- asynchronous circuits
- security measures
- intrusion prevention