Buch, Englisch, Band 3319, 302 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1000 g
4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers
Buch, Englisch, Band 3319, 302 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1000 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-24561-2
Verlag: Springer Berlin Heidelberg
message sequence charts annotated with security properties.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
SDL and eODL.- Deployment and Configuration of Distributed Systems.- eODL and SDL in Combination for Components.- Applying eODL and SDL-Patterns for Developing TMN Managed Systems.- SPT – The SDL Pattern Tool.- Evolution of Languages.- Comparing UML 2.0 Interactions and MSC-2000.- Data Encoding for SDL in ITU-T Rec. Z.104.- SDL in a Changing World.- Requirements and MSC.- Early Validation of Deployment and Scheduling Constraints for MSC Specifications.- Scenario Synthesis from Imprecise Requirements.- Applying Reduction Techniques to Software Functional Requirement Specifications.- Security.- Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules.- Checking Secrecy by Means of Partial Order Reduction.- Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2.- SDL and Modelling.- A Metamodel for SDL-2000 in the Context of Metamodelling ULF.- A Flexible Micro Protocol Framework.- ICT Convergence: Modeling Issues.- Experience.- Dealing with Non-local Choice in IEEE 1073.2’s Standard for Remote Control.- Guidelines for Using SDL in Product Development.- Validating Wireless Protocol Conformance Test Cases.
