Sciweavers

7 search results - page 2 / 2
» Validation and verification of Web services choreographies b...
Sort
View
ICC
2009
IEEE
118views Communications» more  ICC 2009»
14 years 1 days ago
A First Order Logic Security Verification Model for SIP
: It is well known that no security mechanism can provide full protection against a potential attack. There is always a possibility that a security incident may happen, mainly as a...
Dimitris Geneiatakis, Costas Lambrinoudakis, Georg...
WWW
2007
ACM
14 years 6 months ago
Crawling multiple UDDI business registries
As Web services proliferate, size and magnitude of UDDI Business Registries (UBRs) are likely to increase. The ability to discover Web services of interest then across multiple UB...
Eyhab Al-Masri, Qusay H. Mahmoud