A language for modelling secure business transactions | IEEE Conference Publication | IEEE Xplore