Sciweavers

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