Specifying Dynamic Security Properties of Web Service Based Systems.

Artem Vorobiev Jun Han

Published in: SKG (2006)

Keyphrases

security properties
web services
formal methods
computer systems
expert systems
distributed systems
formal model
artificial intelligence
dynamic environments
quality of service
reverse engineering
security requirements