Sciweavers

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

105

Voted

ICSOC
2004
Springer

67views Applied Computing» more ICSOC 2004»

Sound development of secure service-based systems

15 years 8 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)