Logical Foundations of Secure Resource Management in Protocol Implementations.
Michele BugliesiStefano CalzavaraFabienne EignerMatteo MaffeiPublished in: POST (2013)
Keyphrases
- resource management
- logical foundations
- cryptographic protocols
- authentication protocol
- security protocols
- management system
- resource allocation
- active databases
- grid computing
- quality of service
- power control
- resource usage
- intelligent agents
- resource utilization
- cooperative
- real time
- end to end quality of service
- key management
- computational intelligence
- web services