Achim D. Brucker
Achim D. Brucker
University of Exeter, Exeter, UK
Email verificata su brucker.ch - Home page
TitoloCitata daAnno
Extending access control models with break-glass
AD Brucker, H Petritsch
Proceedings of the 14th ACM symposium on Access control models and …, 2009
132*2009
The HOL-OCL Book
AD Brucker, B Wolff
Swiss Federal Institute of Technology (ETH) 525, 2006
1012006
SecureBPMN: Modeling and enforcing access control requirements in business processes
AD Brucker, I Hang, G Lückemeyer, R Ruparel
ACM symposium on access control models and technologies (SACMAT), 123-126, 2012
952012
HOL-OCL: a formal proof environment for UML/OCL
AD Brucker, B Wolff
Proceedings of the Theory and practice of software, 11th international …, 2008
952008
A proposal for a formal OCL semantics in Isabelle/HOL
AD Brucker, B Wolff
Theorem Proving in Higher Order Logics, 147-175, 2002
852002
On Theorem Prover-based Testing
AD Brucker, B Wolff
Formal Aspects of Computing 25 (5), 683-721, 2013
572013
A specification-based test case generation method for UML/OCL
AD Brucker, M Krieger, D Longuet, B Wolff
Models in Software Engineering, 334-348, 2011
542011
Security testing: A survey
M Felderer, M Büchler, M Johns, AD Brucker, R Breu, A Pretschner
Advances in Computers 101, 1-51, 2016
532016
HOL-Z 2.0: A proof environment for Z-specifications
AD Brucker, F Rittinger, B Wolff
Journal of Universal Computer Science 9 (2), 152-172, 2003
532003
Symbolic test case generation for primitive recursive functions
AD Brucker, B Wolff
International Workshop on Formal Approaches to Software Testing, 16-32, 2004
462004
A model transformation semantics and analysis methodology for SecureUML
AD Brucker, J Doser, B Wolff
Model Driven Engineering Languages and Systems, 306-320, 2006
442006
Test-sequence generation with HOL-TestGen with an application to firewall testing
AD Brucker, B Wolff
Proceedings of the 1st international conference on Tests and proofs, 149-168, 2007
412007
An approach to modular and testable security models of real-world health-care applications
AD Brucker, L Brügger, P Kearney, B Wolff
Proceedings of the 16th ACM symposium on Access control models and …, 2011
392011
Verified firewall policy transformations for test case generation
AD Brucker, L Brügger, P Kearney, B Wolff
2010 Third International Conference on Software Testing, Verification and …, 2010
392010
HOL-TestGen: An Interactive Test-case Generation Framework.
AD Brucker, B Wolff
Fundamental Approaches to Software Engineering, 417-420, 2009
39*2009
Metamodel-based UML notations for domain-specific languages
AD Brucker, J Doser
4th International Workshop on Software Language Engineering (ATEM 2007), 2007
392007
Attribute-based encryption with break-glass
AD Brucker, H Petritsch, SG Weber
IFIP International Workshop on Information Security Theory and Practices …, 2010
362010
HOL-OCL: Experiences, consequences and design choices
AD Brucker, B Wolff
«UML» 2002—The Unified Modeling Language, 196-211, 2002
352002
Model-based firewall conformance testing
AD Brucker, L Brügger, B Wolff
Testing of Software and Communicating Systems, 103-118, 2008
322008
Prefetch of attributes in evaluating access control requests
AD Brucker, H Petritsch
US Patent 9,256,757, 2016
312016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20