Formal Comparison of an Attribute Based Access Control Language for RESTful Services with XACML.
Marc HüffmeyerUlf SchreierPublished in: SACMAT (2016)
Keyphrases
- web services
- formal language
- operational semantics
- access control
- visual languages
- formal languages
- service discovery
- service oriented
- natural language
- programming language
- information services
- formal descriptions
- ubiquitous computing
- language learning
- attribute values
- service providers
- specification language
- mobile devices
- multi domain
- computing environments
- markup language
- service oriented architecture
- formal model
- formal semantics
- service quality
- context aware
- service composition
- mathematical theory
- distributed systems
- web applications
- highly expressive
- precisely defined
- end users