Future proof IoT: Composable semantics, security, QoS and reliability.
Tim AbelsRahul KhannaKevin MidkiffPublished in: WiSNet (2017)
Keyphrases
- theorem proving
- theorem prover
- quality of service
- security problems
- formal semantics
- key management
- information security
- application level
- security issues
- long term
- access control
- logic programming
- big data
- resource management
- management system
- real time
- web services
- security requirements
- security policies
- database systems
- default reasoning
- encryption scheme
- data security
- semantic information
- rfid systems
- proof theory