Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

ICSOC
2004
Springer

favoriteEmaildiscussreport

67views Applied Computing» more ICSOC 2004»

Sound development of secure service-based systems

13 years 10 months ago

Sound development of secure service-based systems

Download www4.in.tum.de

Martin Deubler, Johannes Grünbauer, Jan J&uum

Real-time Traffic

ICSOC 2004 |

claim paper

Related Content

» Adaptable SituationAware Secure ServiceBased AS3 Systems

» On the Use of Behavioural Equivalences for Web Services Development

» SituationAwareness for Adaptive Coordination in ServiceBased Systems

» Automated Agent Synthesis for Situation Awareness in ServiceBased Systems

» Dynamic Software Product Lines for ServiceBased Systems

» Trust Services A Framework for ServiceBased Solutions

» Computationally Sound Compositional Logic for Key Exchange Protocols

» A Behavioural Congruence for Web Services

» Cryptographically sound implementations for typed informationflow security

Post Info
More Details (n/a)

Added	01 Jul 2010
Updated	01 Jul 2010
Type	Conference
Year	2004
Where	ICSOC
Authors	Martin Deubler, Johannes Grünbauer, Jan Jürjens, Guido Wimmel

Comments (0)