Haidar, AN and Abdallah, AE (2007) Towards a formal framework for developing secure web services. In: Selected Papers from the Second Internatioanl Workshop on Automated Specification and Verification of Web Systems. (pp. 61 - 70). IEEE COMPUTER SOC
Full text not available from this repository.
| Type: | Proceedings paper |
|---|---|
| Title: | Towards a formal framework for developing secure web services |
| Event: | 2nd International Workshop on Automated Specification and Verification of Web Systems (WWV 06) |
| Location: | Paphos, CYPRUS |
| Dates: | 2006-11-19 |
| ISBN-13: | 978-0-7695-2826-7 |
| UCL classification: | UCL > School of BEAMS > Faculty of Maths and Physical Sciences > Chemistry |
Archive Staff Only: edit this record