Sciweavers

16 search results - page 4 / 4
» Emergency Control in Shipyard Safety Systems
Sort
View
ISSRE
2010
IEEE
13 years 3 months ago
Automata-Based Verification of Security Requirements of Composite Web Services
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
Hongyu Sun, Samik Basu, Vasant Honavar, Robyn R. L...