Loading...
Please wait, while we are loading the content...
Similar Documents
Test Cases for a WS-Federation Passive Requestor Profile
| Content Provider | Semantic Scholar |
|---|---|
| Author | Gross, Thomas Pfitzmann, Birgit |
| Copyright Year | 2009 |
| Abstract | Recent advances in proving the security of browser-based identity federation protocols do not necessarily carry over to real-world deployments of the protocols proven secure. The protocols are not executed by a single well-defined protocol machine, but by the cooperation of multiple complex products. Thus, formal verification faces a vast complexity rendering it useless. To gain confidence in real world deployments of federated identity protocols in spite of this obstacle, we systematically derive black-box test cases from the precise protocol specification of a federated identity protocol proven secure. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://domino.research.ibm.com/library/cyberdig.nsf/papers/EB87D7317A18F100852575AD0028F0C0/$File/rz-3732.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |