Sciweavers

11603 search results - page 472 / 2321
» Embedded System Security
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 8 days ago
Sound development of secure service-based systems
Martin Deubler, Johannes Grünbauer, Jan J&uum...
APSEC
2003
IEEE
16 years 6 days ago
Security-Critical System Development with Extended Use Cases
Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth...