Search results for "Security-Critical Systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Guido Wimmel, Jan Jürjens	Specification-Based Test Generation for Security-Critical Systems Using Mutations.	ICFEM	2002	DBLP DOI BibTeX RDF	E-Commerce Systems, Security-Critical Systems, Validation and Analysis, Computer-aided Software Engineering (CASE), Formal Methods, Test Case Generation, Test Specification, AutoFocus
1	Terje Aven	Identification of safety and security critical systems and activities.	Rel. Eng. & Sys. Safety	2009	DBLP DOI BibTeX RDF
1	Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif	SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications.	ARES	2009	DBLP DOI BibTeX RDF
1	John Lloyd, Jan Jürjens	Security Analysis of a Biometric Authentication System Using UMLsec and JML.	MoDELS	2009	DBLP DOI BibTeX RDF	UMLsec, Security analysis, biometric authentication, JML
1	Francesco Menichelli, Renato Menicocci, Mauro Olivieri, Alessandro Trifiletti	High-Level Side-Channel Attack Modeling and Simulation for Security-Critical Systems on Chips.	IEEE Trans. Dependable Sec. Comput.	2008	DBLP DOI BibTeX RDF
1	Gansen Zhao, David W. Chadwick, Sassa Otenko	Obligations for Role Based Access Control.	AINA Workshops	2007	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann, Michael Waidner	Formal Methods and Cryptography.	FM	2006	DBLP DOI BibTeX RDF
1	Aslan Askarov, Daniel Hedin, Andrei Sabelfeld	Cryptographically-Masked Flows.	SAS	2006	DBLP DOI BibTeX RDF
1	Jan Jürjens	Sound methods and effective tools for model-based security engineering with UML.	ICSE	2005	DBLP DOI BibTeX RDF	verification biometric authentication, verification framework, security, UML, unified modeling language, cryptographic protocol
1	Ammar Masood, Sahra Sedigh-Ali, Arif Ghafoor	Efficiently Managing Security Concerns in Component Based System Design.	COMPSAC	2005	DBLP DOI BibTeX RDF
1	Pooya Jaferian, Golnaz Elahi, Mohammad Reza Ayatollahzadeh Shirazi, Babak Sadeghian	RUPSec : Extending Business Modeling and Requirements Disciplines of RUP for Developing Secure Systems.	EUROMICRO-SEAA	2005	DBLP DOI BibTeX RDF
1	T. Scott Ankrum, Alfred H. Kromholz	Structured Assurance Cases: Three Common Standards.	HASE	2005	DBLP DOI BibTeX RDF
1	Siv Hilde Houmb, Geri Georg, Robert B. France, James M. Bieman, Jan Jürjens	Cost-Benefit Trade-Off Analysis Using BBN for Aspect-Oriented Risk-Driven Development.	ICECCS	2005	DBLP DOI BibTeX RDF	Aspect-Oriented Modeling (AOM) and Risk-Driven Development (RDD), Bayesian Belief Networks (BBN), Trade-off analysis
1	Jan Jürjens	Understanding Security Goals Provided by Crypto-Protocol Implementations.	ICSM	2005	DBLP DOI BibTeX RDF
1	Kun Wang, Lihua Zhou, Zhen Cai, Zengxin Li	A Disaster Recovery System Model in an E-government System.	PDCAT	2005	DBLP DOI BibTeX RDF
1	Holger Grandy, Kurt Stenzel, Wolfgang Reif	Object Oriented Verification Kernels for Secure Java Applications.	SEFM	2005	DBLP DOI BibTeX RDF
1	Jan Jürjens	Model-Based Security Engineering with UML: Introducing Security Aspects.	FMCO	2005	DBLP DOI BibTeX RDF
1	Jan Jürjens, Siv Hilde Houmb	Risk-Driven Development Of Security-Critical Systems Using UMLsec.	IFIP Congress Tutorials	2004	DBLP BibTeX RDF
1	Martin Deubler, Johannes Grünbauer, Jan Jürjens, Guido Wimmel	Sound development of secure service-based systems.	ICSOC	2004	DBLP DOI BibTeX RDF	security, UML, automotive, model-based software engineering, service-based systems, autofocus
1	Jan Jürjens	Developing High-Assurance Secure Systems with UML: A Smartcard-Based Purchase Protocol.	HASE	2004	DBLP DOI BibTeX RDF	security software engineering, formal methods in security, electronic purses, cryptographic protocols, security models, security engineering, security evaluation, high assurance systems, security verification
1	Jan Jürjens	Model-Based Security Engineering with UML.	FOSAD	2004	DBLP DOI BibTeX RDF
1	Bjørn Axel Gran, Rune Fredriksen, Atoosa P.-J. Thunem	An Approach for Model-Based Risk Assessment.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Peter Amey, Roderick Chapman	Static verification and extreme programming.	SIGAda	2003	DBLP DOI BibTeX RDF	Ada, extreme programming, SPARK, static verification, program proof, information-flow analysis
1	Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth Breu	Security-Critical System Development with Extended Use Cases.	APSEC	2003	DBLP DOI BibTeX RDF
1	Antonio Mana, José A. Montenegro, Carsten Rudolph, José Luis Vivas	A business process-driven approach to security engineering.	DEXA Workshops	2003	DBLP DOI BibTeX RDF
1	Jan Jürjens	Algebraic State Machines: Concepts and Applications to Security.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
1	José Luis Vivas, José A. Montenegro, Javier Lopez	Towards a Business Process-Driven Framework for Security Engineering with the UML.	ISC	2003	DBLP DOI BibTeX RDF
1	Johannes Grünbauer, H. Hollmann, Jan Jürjens, Guido Wimmel	Modelling and Verification of Layered Security Protocols: A Bank Application.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	Haeng-Kon Kim, Tai-Hoon Kim, Jae-Sung Kim	Reliability Assurance in Development Process for TOE on the Common Criteria.	SERA	2003	DBLP DOI BibTeX RDF
1	Monika Vetterling, Guido Wimmel, Alexander K. Wißpeintner	Secure systems development based on the common criteria: the PalME project.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	graphical description techniques, software engineering, formal methods, requirements engineering, case study, software design, development process, CASE, security engineering, common criteria, AutoFocus
1	Jan Øyvind Aagedal, Folker den Braber, Theodosis Dimitrakos, Bjørn Axel Gran, Dimitris Raptis, Ketil Stølen	Model-Based Risk Assessment to Improve Enterprise Security. (PDF / PS)	EDOC	2002	DBLP DOI BibTeX RDF
1	Rune Fredriksen, Monica Kristiansen, Bjørn Axel Gran, Ketil Stølen, Tom Arthur Opperud, Theodosis Dimitrakos	The CORAS Framework for a Model-Based Risk Management Process.	SAFECOMP	2002	DBLP DOI BibTeX RDF
1	Jan Jürjens	UMLsec: Extending UML for Secure Systems Development.	UML	2002	DBLP DOI BibTeX RDF
1	Jan Jürjens, Guido Wimmel	Formally Testing Fail-Safety of Electronic Purse Protocols.	ASE	2001	DBLP DOI BibTeX RDF
1	Anthony Cant, Katherine A. Eastaughffe, Maris A. Ozols	A Tool for Practical Reasoning about State Machine Designs.	Australian Software Engineering Conference	1996	DBLP DOI BibTeX RDF	verification, formal methods, temporal logic, state machines
1	Anthony Cant, Katherine A. Eastaughffe, Maris A. Ozols	A Tool for Practical Reasoning about State Machine Designs.	ASYNC	1996	DBLP DOI BibTeX RDF	verification, formal methods, temporal logic, state machines
1	Ramesh V. Peri, William A. Wulf	Formal Specification of Information Flow Security Policies and Their Enforcement in Security Critical Systems.	CSFW	1994	DBLP BibTeX RDF
1	Ross J. Anderson	UEPS - A Second Generation Electronic Wallet.	ESORICS	1992	DBLP DOI BibTeX RDF
1	Louise Giovane Becker	A national perspective on computer security.	ACM Conference on Computer Science	1984	DBLP DOI BibTeX RDF