Towards a formal framework for developing secure web services

Ali Nasrat Haidar, Ali E. Abdallah

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Original languageEnglish
    Title of host publication2nd Int'l. Workshop on Automated Specification and Verification of Web Systems, WWV'06
    PublisherIEEE Computer Society
    Pages61-70
    Number of pages10
    ISBN (Print)0769528260, 9780769528267
    DOIs
    Publication statusPublished (VoR) - 2006
    Event2nd Int'l. Workshop on Automated Specification and Verification of Web Systems, WWV'06 - Paphos, Cyprus
    Duration: 19 Nov 200619 Nov 2006

    Publication series

    Name2nd Int'l. Workshop on Automated Specification and Verification of Web Systems, WWV'06

    Conference

    Conference2nd Int'l. Workshop on Automated Specification and Verification of Web Systems, WWV'06
    Country/TerritoryCyprus
    CityPaphos
    Period19/11/0619/11/06

    Fingerprint

    Dive into the research topics of 'Towards a formal framework for developing secure web services'. Together they form a unique fingerprint.

    Cite this