59 search results - page 12 / 12 » TulaFale: A Security Tool for Web Services |
WOSP
2004
ACM
13 years 10 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
KBSE
2005
IEEE
13 years 10 months ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...
IEEEARES
2010
IEEE
13 years 10 months ago
2010
IEEE
—Today’s rich service offer in the World Wide Web increasingly requires the disclosure of personal user data. Service providers’ appetite for personal user data, however, is ...
CGO
2006
IEEE
13 years 11 months ago
2006
IEEE
The majority of security vulnerabilities published in the literature are due to software bugs. Many researchers have developed program transformation and analysis techniques to au...