The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard.
Florian HelmschmidtPedram HosseyniRalf KüstersKlaas PruiksmaClara WaldmannTim WürtelePublished in: ESORICS (3) (2023)
Keyphrases
- trust negotiation
- conflict resolution
- automated trust negotiation
- fine grained
- cooperative
- negotiation protocol
- access control
- lightweight
- cryptographic protocols
- formal analysis
- decision making
- security requirements
- multi agent
- data mining
- software agents
- model checking
- security analysis
- quality of service
- web services