@inproceedings{8df62513b80d4571b595d9587c00a277,
title = "Towards a formal framework for developing secure web services",
author = "Haidar, {Ali Nasrat} and Abdallah, {Ali E.}",
year = "2006",
doi = "10.1109/WWV.2006.13",
language = "English",
isbn = "0769528260",
series = "2nd Int'l. Workshop on Automated Specification and Verification of Web Systems, WWV'06",
publisher = "IEEE Computer Society",
pages = "61--70",
booktitle = "2nd Int'l. Workshop on Automated Specification and Verification of Web Systems, WWV'06",
note = "2nd Int'l. Workshop on Automated Specification and Verification of Web Systems, WWV'06 ; Conference date: 19-11-2006 Through 19-11-2006",
}