Sciweavers

11603 search results - page 472 / 2321
» Securing Embedded Systems
Sort
View
SEKE
2005
Springer
16 years 13 days ago
Formal Analysis of Workflow Systems with Security Considerations
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
ICSOC
2004
Springer
16 years 10 days ago
Sound development of secure service-based systems
Martin Deubler, Johannes Grünbauer, Jan J&uum...
APSEC
2003
IEEE
16 years 8 days ago
Security-Critical System Development with Extended Use Cases
Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth...