Jürjens, Jan
Model-based Run-time Checking of Security Permissions using Guarded ObjectsMartin Leucker (Hrsg). Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers. Berlin: Springer 2008 S. 36 - 50 (Lecture Notes in Computer Science)
Jürjens, Jan
Model-Based Run-Time Checking of Security Permissions Using Guarded Objects.RV. 2008 S. 36 - 50
Jürjens, Jan; Schreck, Jörg; Bartmann, Peter
Model-based Security Analysis for Mobile CommunicationsWilhelm Schäfer;Matthew B. Dwyer;Volker Gruhn (Hrsg). Proceeding of the 30th International Conference on Software Engineering ICSE 2008: May 10-18, 2008; Leipzig, Germany. New York, NY: ACM Association for Computing Machinery 2008 S. 683 - 692
Jürjens, Jan; Schreck, Jörg; Bartmann, Peter
Model-based security analysis for mobile communications.ICSE. 2008 S. 683 - 692
Jürjens, Jan
Model-based Security Testing Using UMLsec: A Case StudyElectronic Notes in Theoretical Computer Science. Bd. 220. H. 1. Amsterdam: Elsevier 2008 S. 93 - 104
Jürjens, Jan
Model-based Security Testing Using UMLsec: A Case Study.Electr. Notes Theor. Comput. Sci. Bd. 220. H. 1. 2008 S. 93 - 104
Jürjens, Jan
Model-based vs. Code-based Verification for Critical Systems: A TutorialModels 2008 tutorial. 2008
Whittle, Jon; Jürjens, Jan; Nuseibeh, Bashar et al.
Proceedings of the Workshop on Modeling Security MODSEC 08 held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems MODELS: Toulouse, France, September 28, 2008Aachen: CEUR/RWTH 2008
Jürjens, Jan
Quality Assurance for Security-Critical Systems13th Software & Systems Quality Conferences (SQC08). Congress Center Düsseldorf, Germany. 2008 S. 1 - 40
Höhn, Sebastian; Jürjens, Jan
Rubacon: Automated Support for Model-based Compliance EngineeringWilhelm Schäfer;Matthew B. Dwyer;Volker Gruhn (Hrsg). Proceeding of the 30th International Conference on Software Engineering ICSE 2008: May 10-18, 2008; Leipzig, Germany. New York, NY: ACM Association for Computing Machinery 2008 S. 875 - 878