External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Security (Hyper-)properties in Workflow Systems: From Specification to Verification

Thomas Bauereiss, Dieter Hutter. Security (Hyper-)properties in Workflow Systems: From Specification to Verification. In Wouter Joosen, Fabio Martinelli, Thomas Heyman, editors, Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), Munich, Germany, February 26, 2014. Volume 1298 of CEUR Workshop Proceedings, CEUR-WS.org, 2014. [doi]

Authors

Thomas Bauereiss

This author has not been identified. Look up 'Thomas Bauereiss' in Google

Dieter Hutter

This author has not been identified. Look up 'Dieter Hutter' in Google
runs on