Denotational semantics and its algebraic derivation for an event-driven system-level language von Zhu, H., He, Jifeng, Qin, Shengchao, Brooke, Phillip J.

Volltext

Metamodel-based model conformance and multiview consistency checking von Paige, Richard F., Brooke, Phillip J., Ostroff, Jonathan S.

Volltext

Document-centric XML workflows with fragment digital signatures von Brooke, Phillip J., Paige, Richard F., Power, Christopher

Volltext

Fault trees for security system design and analysis von Brooke, Phillip J., Paige, Richard F.

Volltext

Security Planning and Refactoring in Extreme Programming von Aydal, Emine G., Paige, Richard F., Chivers, Howard, Brooke, Phillip J.

Volltext

Towards an Agile Process for Building Software Product Lines von Paige, Richard F., Wang, Xiaochen, Stephenson, Zoë R., Brooke, Phillip J.

Volltext

Cameo: an alternative model of concurrency for Eiffel von Brooke, Phillip J., Paige, Richard F.

Volltext

A CSP model of Eiffel's SCOOP von BROOKE, Phillip J, PAIGE, Richard F, JACOB, Jeremy L

Volltext

Agile Formal Method Engineering von Paige, Richard F., Brooke, Phillip J.

Volltext

Tampering with Motes: Real-World Physical Attacks on Wireless Sensor Networks von Becher, Alexander, Benenson, Zinaida, Dornseif, Maximillian

Volltext

Security Protocols XX: 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers von Christianson, Bruce, Malcolm, James, Stajano, Frank, Anderson, Jonathan

Volltext

Silent Cascade: Enhancing Location Privacy Without Communication QoS Degradation von Huang, Leping, Yamane, Hiroshi, Matsuura, Kanta, Sezaki, Kaoru

Volltext

Implementing Minimized Multivariate PKC on Low-Resource Embedded Systems von Yang, Bo-Yin, Cheng, Chen-Mou, Chen, Bor-Rong, Chen, Jiun-Ming

Volltext

Information Flow Control to Secure Dynamic Web Service Composition von Hutter, Dieter, Volkamer, Melanie

Volltext

Security in Pervasive Computing: Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings von Clark, John A, Paige, Richard F, Polack, Fiona A.C, Brooke, Phillip J

Volltext

Security in pervasive computing: third international conference, SPC 2006, York, UK, April 18-21 2006 : proceedings von Clark, John A, Paige, Richard F, Polack, Fiona A.C, Brooke, Phillip J

Volltext

Editorial von Paige, Richard F., Brooke, Phillip J.

Volltext

Editorial von Paige, Richard F, Brooke, Phillip J

Volltext

Certified Password Quality: A Case Study Using Coq and Linux Pluggable Authentication Modules von Ferreira, João F., Johnson, Saul A., Mendes, Alexandra, Brooke, Phillip J.

Volltext

Constant-Round Password-Based Group Key Generation for Multi-layer Ad-Hoc Networks von Byun, Jin Wook, Lee, Su-Mi, Lee, Dong Hoon, Hong, Dowon

Volltext