Software Safety and Security for Programmable Logic Controllers.
Csilla FarkasSidney ValentinePublished in: ITNG (2013)
Keyphrases
- programmable logic
- hardware description language
- software systems
- information security
- field programmable gate array
- access control
- statistical databases
- security vulnerabilities
- safety critical
- hardware design
- high assurance
- security requirements
- intrusion detection
- software development
- iso iec
- software design
- network security
- security policies
- embedded systems
- fine grained
- computer systems
- source code
- multi agent systems
- software architecture
- computer security
- markov random field
- object oriented
- safety analysis
- probabilistic model
- wireless sensor networks