Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6).
Atsushi IgarashiPeter ThiemannPhilip WadlerPublished in: NII Shonan Meet. Rep. (2014)
Keyphrases
- control center
- cyber physical systems
- communication protocols
- wireless sensor
- software development
- security vulnerabilities
- network monitoring
- situational awareness
- multi party
- security issues
- statistical databases
- remote monitoring
- monitoring system
- access control
- real time
- security requirements
- software systems
- computer security
- open systems
- information security
- software architecture
- information sharing
- communication technologies
- windows xp
- business transactions
- network services
- single point of failure
- messages exchanged
- communication protocol
- security mechanisms
- software design
- security policies
- network security
- computer networks
- operating system
- intrusion detection
- computer systems
- control system