Sciweavers

2 search results - page 1 / 1
» A comparison of modeling strategies in defining XML-based ac...
Sort
View
65
Voted
CSSE
2004
IEEE
14 years 10 months ago
A comparison of modeling strategies in defining XML-based access control languages
One of the most important features of XML-based Web services is that they can be easily accessed over the Internet, but this makes them vulnerable to a series of security threats....
Claudio Agostino Ardagna, Sabrina De Capitani di V...
JCS
2008
119views more  JCS 2008»
14 years 10 months ago
Synthesising verified access control systems through model checking
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev