Sciweavers

6555 search results - page 154 / 1311
» Secure attribute-based systems
Sort
View
SEKE
2005
Springer
15 years 12 months ago
Formal Analysis of Workflow Systems with Security Considerations
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
ICSOC
2004
Springer
15 years 11 months ago
Sound development of secure service-based systems
Martin Deubler, Johannes Grünbauer, Jan J&uum...
APSEC
2003
IEEE
15 years 11 months ago
Security-Critical System Development with Extended Use Cases
Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth...
ICWE
2003
Springer
15 years 11 months ago
Retrofitting Security into a Web-Based Information System
David Bettencourt da Cruz, Bernhard Rumpe, Guido W...