Model-based Testing for Secure Services

By Achim D. Brucker.

Please cite this work as follows:
A. D. Brucker, “Model-based testing for secure services,” presented at the Aniketos spring ph.d. School on “trustworthy & secure service composition,” Malaga, Spain, May 30, 2013.

BibTeX
@Unpublished{ talk:brucker:mbt-services:2013,
  date       = {2013-05-30},
  author     = {Achim D. Brucker},
  eventtitle = {Aniketos Spring Ph.D. School on ``Trustworthy \& Secure
                Service Composition''},
  venue      = {Malaga, Spain},
  title      = {Model-based Testing for Secure Services},
  areas      = {software, security},
}