Sciweavers

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