[-] Journals(Click To Expand)
[8]
A. D. Brucker, L. Brügger, and B. Wolff, “Formal firewall conformance testing: An application of test and proof techniques,” Software Testing, Verification & Reliability (STVR), vol. 25, no. 1, pp. 34–71, 2015, doi: 10.1002/stvr.1544. Author copy: https://logicalhacking.com/publications/brucker.ea-formal-fw-testing-2014/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[7]
A. D. Brucker, “Integrating security aspects into business process models,” it - Information Technology, vol. 55, no. 6, pp. 239–246, Dec. 2013, doi: 10.1524/itit.2013.2004. Special Issue on “Security in Business Processes.” Author copy: https://logicalhacking.com/publications/brucker-securebpmn-2013/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[6]
A. D. Brucker and B. Wolff, “On theorem prover-based testing,” Formal Aspects of Computing (FAC), vol. 25, no. 5, pp. 683–721, 2013, doi: 10.1007/s00165-012-0222-y. Author copy: https://logicalhacking.com/publications/brucker.ea-theorem-prover-2012/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[5]
M. Wahler, D. Basin, A. D. Brucker, and J. Koehler, “Efficient analysis of pattern-based constraint specifications,” Software and Systems Modeling, vol. 9, no. 2, pp. 225–255, Apr. 2010, doi: 10.1007/s10270-009-0123-6. Author copy: https://logicalhacking.com/publications/wahler.ea-efficient-2010/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[4]
A. D. Brucker and B. Wolff, “Semantics, calculi, and analysis for object-oriented specifications,” Acta Informatica, vol. 46, no. 4, pp. 255–284, Jul. 2009, doi: 10.1007/s00236-009-0093-8. Author copy: https://logicalhacking.com/publications/brucker.ea-semantics-2009/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[3]
A. D. Brucker and B. Wolff, “An extensible encoding of object-oriented data models in HOL,” Journal of Automated Reasoning, vol. 41, pp. 219–249, 2008, doi: 10.1007/s10817-008-9108-3. Author copy: https://logicalhacking.com/publications/brucker.ea-extensible-2008-b/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[2]
A. D. Brucker and B. Wolff, “A verification approach for applied system security,” International Journal on Software Tools for Technology (STTT), vol. 7, no. 3, pp. 233–247, 2005, doi: 10.1007/s10009-004-0176-3. Author copy: https://logicalhacking.com/publications/brucker.ea-verification-2005/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[1]
A. D. Brucker, F. Rittinger, and B. Wolff, “HOL-Z 2.0: A proof environment for Z-specifications,” Journal of Universal Computer Science, vol. 9, no. 2, pp. 152–172, Feb. 2003, doi: 10.3217/jucs-009-02-0152. Author copy: https://logicalhacking.com/publications/brucker.ea-hol-z-2003/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[-] Conferences(Click To Expand)
[35]
M. Foster, R. G. Taylor, A. D. Brucker, and J. Derrick, “Formalising extended finite state machine transition merging,” in ICFEM, J. S. Dong and J. Sun, Eds. Heidelberg: Springer-Verlag, 2018, pp. 373–387. doi: 10.1007/978-3-030-02450-5. Author copy: https://logicalhacking.com/publications/foster.ea-efsm-2018/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[34]
A. V. Hess, S. A. Mödersheim, and A. D. Brucker, “Stateful protocol composition,” in ESORICS, J. Lopez and J. Zhou, Eds. Heidelberg: Springer-Verlag, 2018, pp. 427–446. doi: 10.1007/978-3-319-99073-6. Author copy: https://logicalhacking.com/publications/hess.ea-stateful-2018/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[33]
A. D. Brucker, I. Ait-Sadoune, P. Crisafulli, and B. Wolff, “Using the Isabelle ontology framework: Linking the formal with the informal,” in Conference on intelligent computer mathematics (CICM), Heidelberg: Springer-Verlag, 2018. doi: 10.1007/978-3-319-96812-4_3. Author copy: https://logicalhacking.com/publications/brucker.ea-isabelle-ontologies-2018/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[32]
A. D. Brucker and M. Herzberg, “Formalizing (web) standards: An application of test and proof,” in TAP 2018: Tests and proofs, C. Dubois and B. Wolff, Eds. Heidelberg: Springer-Verlag, 2018, pp. 159–166. doi: 10.1007/978-3-319-92994-1_9. Author copy: https://logicalhacking.com/publications/brucker.ea-standard-compliance-testing-2018/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[31]
A. D. Brucker and B. Wolff, “Monadic sequence testing and explicit test-refinements,” in TAP 2016: Tests and proofs, B. K. Aichernig and C. A. Furia, Eds. Heidelberg: Springer-Verlag, 2016. doi: 10.1007/978-3-319-41135-4_2. Author copy: https://logicalhacking.com/publications/brucker.ea-monadic-sequence-testing-2016/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[30]
S. Dashevskyi, A. D. Brucker, and F. Massacci, “On the security cost of using a free and open source component in a proprietary product,” in International symposium on engineering secure software and systems (ESSoS), J. Caballero and E. Bodden, Eds. Heidelberg: Springer-Verlag, 2016, pp. 190–206. doi: 10.1007/978-3-319-30806-7_12. Author copy: https://logicalhacking.com/publications/dashevskyi.ea-foss-costs-2016/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[29]
A. D. Brucker and M. Herzberg, “On the static analysis of hybrid mobile apps: A report on the state of apache cordova nation,” in International symposium on engineering secure software and systems (ESSoS), J. Caballero and E. Bodden, Eds. Heidelberg: Springer-Verlag, 2016, pp. 72–88. doi: 10.1007/978-3-319-30806-7_5. Author copy: https://logicalhacking.com/publications/brucker.ea-cordova-security-2016/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[28]
A. D. Brucker, O. Havle, Y. Nemouchi, and B. Wolff, “Testing the IPC protocol for a real-time operating system,” in Working conference on verified software: Theories, tools, and experiments, A. Gurfinkel and S. A. Seshia, Eds. Heidelberg: Springer-Verlag, 2015. doi: 10.1007/978-3-319-29613-5_3. Author copy: https://logicalhacking.com/publications/brucker.ea-ipc-testing-2015/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[27]
L. ben Othmane, G. Chehrazi, E. Bodden, P. Tsalovski, A. D. Brucker, and P. Miseldine, “Factors impacting the effort required to fix security vulnerabilities: An industrial case study,” in Information security conference (ISC 2015), C. Boyd and D. Gligoriski, Eds. Heidelberg: Springer-Verlag, 2015. doi: 10.1007/978-3-319-23318-5_6. Author copy: https://logicalhacking.com/publications/othmane.ea-fix-effort-2015/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[26]
M. Salnitri, A. D. Brucker, and P. Giorgini, “From secure business process models to secure artifact-centric specifications,” in Enterprise, business-process and information systems modeling BPMDS, 2015, pp. 246–262. doi: 10.1007/978-3-319-19237-6_16. Author copy: https://logicalhacking.com/publications/salnitri.ea-river-2015/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[25]
[24]
[23]
A. D. Brucker, F. Malmignati, M. Merabti, Q. Shi, and B. Zhou, “A framework for secure service composition,” in International conference on information privacy, security, risk and trust (PASSAT), Los Alamitos, CA, USA: IEEE Computer Society, 2013, pp. 647–652. doi: 10.1109/SocialCom.2013.97. Author copy: https://logicalhacking.com/publications/brucker.ea-framework-2013/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[22]
A. D. Brucker, L. Brügger, and B. Wolff, “HOL-TestGen/FW: An environment for specification-based firewall conformance testing,” in International colloquium on theoretical aspects of computing (ICTAC), Z. Liu, J. Woodcock, and H. Zhu, Eds. Heidelberg: Springer-Verlag, 2013, pp. 112–121. doi: 10.1007/978-3-642-39718-9_7. Author copy: https://logicalhacking.com/publications/brucker.ea-hol-testgen-fw-2013/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[21]
A. D. Brucker, A. Feliachi, Y. Nemouchi, and B. Wolff, “Test program generation for a microprocessor: A case-study,” in TAP 2013: Tests and proofs, L. Viganò and M. Veanes, Eds. Heidelberg: Springer-Verlag, 2013, pp. 76–95. doi: 10.1007/978-3-642-38916-0_5. Author copy: https://logicalhacking.com/publications/brucker.ea-test-program-generation-2013/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[20]
L. Compagna, P. Guilleminot, and A. D. Brucker, “Business process compliance via security validation as a service,” in IEEE sixth international conference on software testing, verification and validation (ICST), 2013, pp. 455–462. doi: 10.1109/ICST.2013.63. Author copy: https://logicalhacking.com/publications/compagna.ea-bp-compliance-2013/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[19]
G. Monakova, C. Severin, A. D. Brucker, U. Flegel, and A. Schaad, “Monitoring security and safety of assets in supply chains,” in Future security, 2012, vol. 318, pp. 9–20. doi: 10.1007/978-3-642-33161-9_3. Author copy: https://logicalhacking.com/publications/monakova.ea-monitoring-2012/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[18]
A. D. Brucker, I. Hang, G. Lückemeyer, and R. Ruparel, “SecureBPMN: Modeling and enforcing access control requirements in business processes,” in ACM symposium on access control models and technologies (SACMAT), 2012, pp. 123–126. doi: 10.1145/2295136.2295160. Author copy: https://logicalhacking.com/publications/brucker.ea-securebpmn-2012/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[17]
G. Monakova, A. D. Brucker, and A. Schaad, “Security and safety of assets in business processes,” in ACM symposium on applied computing (SAC), 2012, pp. 1667–1673. doi: 10.1145/2245276.2232045. Author copy: https://logicalhacking.com/publications/monakova.ea-securing-2012/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[16]
A. D. Brucker, L. Brügger, P. Kearney, and B. Wolff, “An approach to modular and testable security models of real-world health-care applications,” in ACM symposium on access control models and technologies (SACMAT), 2011, pp. 133–142. doi: 10.1145/1998441.1998461. Author copy: https://logicalhacking.com/publications/brucker.ea-model-based-2011/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[15]
A. D. Brucker and H. Petritsch, “A framework for managing and analyzing changes of security policies,” in IEEE international symposium on policies for distributed systems and networks (POLICY), Jun. 2011, pp. 105–112. doi: 10.1109/POLICY.2011.47. Author copy: https://logicalhacking.com/publications/brucker.ea-framework-2011/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[14]
A. D. Brucker, L. Brügger, P. Kearney, and B. Wolff, “Verified firewall policy transformations for test-case generation,” in Third international conference on software testing, verification, and validation (ICST), Los Alamitos, CA, USA: IEEE Computer Society, 2010, pp. 345–354. doi: 10.1109/ICST.2010.50. Author copy: https://logicalhacking.com/publications/brucker.ea-firewall-2010/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[13]
A. D. Brucker and D. Hutter, “Information flow in disaster management systems,” in International conference on availability, reliability and security (ARES), Los Alamitos, CA, USA: IEEE Computer Society, 2010, pp. 156–163. doi: 10.1109/ARES.2010.107. Author copy: https://logicalhacking.com/publications/brucker.ea-information-2010/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[12]
A. D. Brucker and H. Petritsch, “Idea: Efficient evaluation of access control constraints,” in International symposium on engineering secure software and systems (ESSoS), F. Massacci, D. Wallach, and N. Zannone, Eds. Heidelberg: Springer-Verlag, 2010, pp. 157–165. doi: 10.1007/978-3-642-11747-3_12. Author copy: https://logicalhacking.com/publications/brucker.ea-efficient-2010/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[11]
M. Kohler, A. D. Brucker, and A. Schaad, “ProActive Caching: Generating caching heuristics for business process environments,” in International conference on computational science and engineering (CSE), vol. 3, Los Alamitos, CA, USA: IEEE Computer Society, 2009, pp. 207–304. doi: 10.1109/CSE.2009.177. Author copy: https://logicalhacking.com/publications/kohler.ea-proactive-2009/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[10]
A. D. Brucker, H. Petritsch, and A. Schaad, “Delegation assistance,” in IEEE international symposium on policies for distributed systems and networks (POLICY), Jul. 2009, pp. 84–91. doi: 10.1109/POLICY.2009.35. Author copy: https://logicalhacking.com/publications/brucker.ea-delegation-2009/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[9]
A. D. Brucker and H. Petritsch, “Extending access control models with break-glass,” in ACM symposium on access control models and technologies (SACMAT), B. Carminati and J. Joshi, Eds. New York, NY, USA: ACM Press, 2009, pp. 197–206. doi: 10.1145/1542207.1542239. Author copy: https://logicalhacking.com/publications/brucker.ea-extending-2009/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[8]
A. D. Brucker and B. Wolff, “HOL-TestGen: An interactive test-case generation framework,” in Fundamental approaches to software engineering (FASE09), M. Chechik and M. Wirsing, Eds. Heidelberg: Springer-Verlag, 2009, pp. 417–420. doi: 10.1007/978-3-642-00593-0_28. Author copy: https://logicalhacking.com/publications/brucker.ea-hol-testgen-2009/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[7]
A. D. Brucker, L. Brügger, and B. Wolff, “Model-based firewall conformance testing,” in Testcom/FATES 2008, K. Suzuki and T. Higashino, Eds. Heidelberg: Springer-Verlag, 2008, pp. 103–118. doi: 10.1007/978-3-540-68524-1_9. Author copy: https://logicalhacking.com/publications/brucker.ea-model-based-2008/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[6]
A. D. Brucker and B. Wolff, “Extensible universes for object-oriented data models,” in ECOOP 2008 – object-oriented programming, J. Vitek, Ed. Heidelberg: Springer-Verlag, 2008, pp. 438–462. doi: 10.1007/978-3-540-70592-5_19. Author copy: https://logicalhacking.com/publications/brucker.ea-extensible-2008/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[5]
A. D. Brucker and B. Wolff, “HOL-OCL – A Formal Proof Environment for UML/OCL,” in Fundamental approaches to software engineering (FASE08), J. Fiadeiro and P. Inverardi, Eds. Heidelberg: Springer-Verlag, 2008, pp. 97–100. doi: 10.1007/978-3-540-78743-3_8. Author copy: https://logicalhacking.com/publications/brucker.ea-hol-ocl-2008/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[4]
A. D. Brucker and B. Wolff, “Test-sequence generation with HOL-TestGen – with an application to firewall testing,” in TAP 2007: Tests and proofs, B. Meyer and Y. Gurevich, Eds. Heidelberg: Springer-Verlag, 2007, pp. 149–168. doi: 10.1007/978-3-540-73770-4_9. Author copy: https://logicalhacking.com/publications/brucker.ea-test-sequence-2007/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[3]
A. D. Brucker, J. Doser, and B. Wolff, “A model transformation semantics and analysis methodology for SecureUML,” in MoDELS 2006: Model driven engineering languages and systems, O. Nierstrasz, J. Whittle, D. Harel, and G. Reggio, Eds. Heidelberg: Springer-Verlag, 2006, pp. 306–320. doi: 10.1007/11880240_22. An extended version of this paper is available as ETH Technical Report, no. 524.
[Abstract | DOI | BibTeX | RIS | EndNote | Word]
[2]
A. D. Brucker and B. Wolff, “A proposal for a formal OCL semantics in Isabelle/HOL,” in Theorem proving in higher order logics (TPHOLs), V. A. Carreño, C. A. Muñoz, and S. Tahar, Eds. Heidelberg: Springer-Verlag, 2002, pp. 99–114. doi: 10.1007/3-540-45685-6_8. Author copy: https://logicalhacking.com/publications/brucker.ea-proposal-2002/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[1]
A. D. Brucker and B. Wolff, “HOL-OCL: Experiences, consequences and design choices,” in UML 2002: Model engineering, concepts and tools, J.-M. Jézéquel, H. Hussmann, and S. Cook, Eds. Heidelberg: Springer-Verlag, 2002, pp. 196–211. doi: 10.1007/3-540-45800-X_17. Author copy: https://logicalhacking.com/publications/brucker.ea-hol-ocl-2002/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[-] Workshop(Click To Expand)
[18]
M. Kohler and A. D. Brucker, “Caching strategies: An empirical evaluation,” in International workshop on security measurements and metrics (MetriSec), New York, NY, USA: ACM Press, 2010, pp. 1–8. doi: 10.1145/1853919.1853930. Author copy: https://logicalhacking.com/publications/kohler.ea-caching-2010/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[17]
M. Altenhofen and A. D. Brucker, “Practical issues with formal specifications: Lessons learned from an industrial case study,” in International workshop on formal methods for industrial critical systems (FMICS), S. Kowalewski and M. Roveri, Eds. Heidelberg: Springer-Verlag, 2010, pp. 17–32. doi: 10.1007/978-3-642-15898-8_2. Author copy: https://logicalhacking.com/publications/altenhofen.ea-issues-2010/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[16]
A. D. Brucker, H. Petritsch, and S. G. Weber, “Attribute-based encryption with break-glass,” in Workshop in information security theory and practice (WISTP), P. Samarati, M. Tunstall, and J. Posegga, Eds. Heidelberg: Springer-Verlag, 2010, pp. 237–244. doi: 10.1007/978-3-642-12368-9_18. Author copy: https://logicalhacking.com/publications/brucker.ea-attribute-based-2010/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[15]
A. D. Brucker, M. P. Krieger, and B. Wolff, “Extending OCL with null-references,” in Models in software engineering, S. Gosh, Ed. Heidelberg: Springer-Verlag, 2009, pp. 261–275. doi: 10.1007/978-3-642-12261-3_25. Selected best papers from all satellite events of the MoDELS 2009 conference.. Author copy: https://logicalhacking.com/publications/brucker.ea-ocl-null-2009/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[14]
A. D. Brucker and S. A. Mödersheim, “Integrating automated and interactive protocol verification,” in Workshop on formal aspects in security and trust (FAST 2009), P. Degano and J. Guttman, Eds. Heidelberg: Springer-Verlag, 2009, pp. 248–262. doi: 10.1007/978-3-642-12459-4_18. An extended version of this paper is available as IBM Research Technical Report, RZ3750.. Author copy: https://logicalhacking.com/publications/brucker.ea-integrating-2009/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[13]
A. D. Brucker, L. Brügger, and B. Wolff, “Verifying test-hypotheses: An experiment in test and proof,” Electronic Notes in Theoretical Computer Science, vol. 220, no. 1, pp. 15–27, 2008, doi: 10.1016/j.entcs.2008.11.003. Proceedings of the Fourth Workshop on Model Based Testing (MBT 2008). Author copy: https://logicalhacking.com/publications/brucker.ea-verifying-2008/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[12]
A. D. Brucker and J. Doser, “Metamodel-based UML notations for domain-specific languages,” in 4th international workshop on software language engineering (ATEM 2007), J. M. Favre, D. Gasevic, R. Lämmel, and A. Winter, Eds. Nashville, USA, 2007. Author copy: https://logicalhacking.com/publications/brucker.ea-metamodel-2007/
[Abstract | PDF | BibTeX | RIS | EndNote | Word]
[11]
A. D. Brucker, J. Doser, and B. Wolff, “Semantic issues of OCL: Past, present, and future,” Electronic Communications of the EASST, vol. 5, 2006, doi: 10.14279/tuj.eceasst.5.46. Author copy: https://logicalhacking.com/publications/brucker.ea-semantic-2006-b/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[10]
A. D. Brucker, J. Doser, and B. Wolff, “An MDA framework supporting OCL,” Electronic Communications of the EASST, vol. 5, 2006, doi: 10.14279/tuj.eceasst.5.45. Author copy: https://logicalhacking.com/publications/brucker.ea-mda-2006-b/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[9]
M. Wahler, J. Koehler, and A. D. Brucker, “Model-driven constraint engineering,” Electronic Communications of the EASST, vol. 5, 2006, doi: 10.14279/tuj.eceasst.5.44. Author copy: https://logicalhacking.com/publications/wahler.ea-model-driven-2006-b/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[8]
A. D. Brucker and B. Wolff, “A package for extensible object-oriented data models with an application to IMP++,” in International workshop on software verification and validation (SVV 2006), A. Roychoudhury and Z. Yang, Eds. Seattle, USA, 2006. Author copy: https://logicalhacking.com/publications/brucker.ea-package-2006/
[Abstract | PDF | BibTeX | RIS | EndNote | Word]
[7]
A. D. Brucker and B. Wolff, “Interactive testing using HOL-TestGen,” in Formal approaches to testing of software, W. Grieskamp and C. Weise, Eds. Heidelberg: Springer-Verlag, 2005. doi: 10.1007/11759744_7. Author copy: https://logicalhacking.com/publications/brucker.ea-interactive-2005/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[6]
A. D. Brucker and B. Wolff, “Symbolic test case generation for primitive recursive functions,” in Formal approaches to testing of software, J. Grabowski and B. Nielsen, Eds. Heidelberg: Springer-Verlag, 2004, pp. 16–32. doi: 10.1007/b106767. Author copy: https://logicalhacking.com/publications/brucker.ea-symbolic-2005/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[5]
A. D. Brucker and B. Wolff, “Using theory morphisms for implementing formal methods tools,” in Types for proof and programs, H. Geuvers and F. Wiedijk, Eds. Heidelberg: Springer-Verlag, 2003, pp. 59–77. doi: 10.1007/3-540-39185-1_4. Author copy: https://logicalhacking.com/publications/brucker.ea-embedding-2003/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[4]
A. D. Brucker and B. Wolff, “A case study of a formalized security architecture,” Electronic Notes in Theoretical Computer Science, vol. 80, pp. 24–40, 2003, doi: 10.1016/S1571-0661(04)80807-7. Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS’03). Author copy: https://logicalhacking.com/publications/brucker.ea-case-2003/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[3]
A. D. Brucker, S. Friedrich, F. Rittinger, and B. Wolff, “HOL-Z 2.0: A proof environment for Z-specifications,” in FM-TOOLS 2002, D. Haneberg, G. Schellhorn, and W. Reif, Eds. Augsburg: University Augsburg, 2002, pp. 33–38. Available as Technical Report, University Augsburg, number 2002–11.. Author copy: https://logicalhacking.com/publications/brucker.ea-hol-z-2002/
[Abstract | PDF | BibTeX | RIS | EndNote | Word]
[2]
A. D. Brucker, F. Rittinger, and B. Wolff, “The CVS-server case study: A formalized security architecture,” in FM-TOOLS 2002, D. Haneberg, G. Schellhorn, and W. Reif, Eds. Augsburg: University Augsburg, 2002, pp. 47–52. Available as Technical Report, University Augsburg, number 2002–11.. Author copy: https://logicalhacking.com/publications/brucker.ea-cvs-server-2002/
[Abstract | PDF | BibTeX | RIS | EndNote | Word]
[-] Invited Publications(Click To Expand)
[5]
A. D. Brucker, “Using SecureBPMN for modelling security-aware service compositions,” in Secure and trustworthy service composition: The aniketos approach, A. D. Brucker, F. Dalpiaz, P. Giorgini, P. H. Meland, and E. Rios, Eds. Heidelberg: Springer-Verlag, 2014, pp. 110–120. doi: 10.1007/978-3-319-13518-2_8. Author copy: https://logicalhacking.com/publications/brucker-aniketos-securebpmn-2014/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[4]
P. H. Meland, E. Rios, V. Tountopoulos, and A. D. Brucker, “The aniketos platform,” in Secure and trustworthy service composition: The aniketos approach, A. D. Brucker, F. Dalpiaz, P. Giorgini, P. H. Meland, and E. Rios, Eds. Heidelberg: Springer-Verlag, 2014. doi: 10.1007/978-3-319-13518-2_4. Author copy: https://logicalhacking.com/publications/meland.ea-aniketos-platform-2014/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[3]
[2]
F. Marienfeld et al., “Service levels, security, and trust,” in Handbook of service description: USDL and its methods, A. Barros and D. Oberle, Eds. New York, NY, USA: Springer-Verlag, 2012, pp. 295–326. doi: 10.1007/978-1-4614-1864-1_12. Author copy: https://logicalhacking.com/publications/marienfeld.ea-usdl-security-2012/
[Abstract | PDF | DOI | BibTeX | RIS | EndNote | Word]
[-] Formal Proof Documents(Click To Expand)
[6]
A. V. Hess, S. Mödersheim, A. D. Brucker, and A. Schlichtkrull, “Automated stateful protocol verification,” Archive of Formal Proofs, Apr. 2020. https://www.isa-afp.org/entries/Automated_Stateful_Protocol_Verification.html, Formal proof development. Author copy: https://logicalhacking.com/publications/hess.ea-automated-2020/
[Abstract | PDF | BibTeX | RIS | EndNote | Word]
[5]
A. V. Hess, S. Mödersheim, and A. D. Brucker, “Stateful protocol composition and typing,” Archive of Formal Proofs, Apr. 2020. https://www.isa-afp.org/entries/Stateful_Protocol_Composition_and_Typing.html, Formal proof development. Author copy: https://logicalhacking.com/publications/hess.ea-stateful-2020/
[Abstract | PDF | BibTeX | RIS | EndNote | Word]
[4]
A. D. Brucker and M. Herzberg, “The Core DOM,” Archive of Formal Proofs, Dec. 2018. https://www.isa-afp.org/entries/Core_DOM.html, Formal proof development. Author copy: https://logicalhacking.com/publications/brucker.ea-afp-core-dom-2018/
[Abstract | PDF | BibTeX | RIS | EndNote | Word]
[3]
A. D. Brucker, L. Brügger, and B. Wolff, “Formal network models and their application to firewall policies,” Archive of Formal Proofs, Jan. 2017. https://www.isa-afp.org/entries/UPF_Firewall.shtml, Formal proof development. Author copy: https://logicalhacking.com/publications/brucker.ea-upf-firewall-2017/
[Abstract | PDF | BibTeX | RIS | EndNote | Word]
[2]
A. D. Brucker, L. Brügger, and B. Wolff, “The unified policy framework (UPF),” Archive of Formal Proofs, Nov. 2014. https://www.isa-afp.org/entries/UPF.shtml, Formal proof development. Author copy: https://logicalhacking.com/publications/brucker.ea-upf-2014/
[Abstract | PDF | BibTeX | RIS | EndNote | Word]
[1]
A. D. Brucker, F. Tuong, and B. Wolff, “Featherweight OCL: A proposal for a machine-checked formal semantics for OCL 2.5,” Archive of Formal Proofs, Jan. 2014. https://www.isa-afp.org/entries/Featherweight_OCL.shtml, Formal proof development. Author copy: https://logicalhacking.com/publications/brucker.ea-featherweight-2014/
[Abstract | PDF | BibTeX | RIS | EndNote | Word]
[-] Edited(Click To Expand)
[-] Technical Reports(Click To Expand)
[5]
[4]
[3]
[2]