Over the years, Trust has been recognized in the Bled community as a key enabling factor to stimulate Electronic Commerce. Authors have discussed formal aspects of trust, the role trust plays in the adoption of both B2B and B2C Electronic Commerce, as well as mechanisms to build trust and/or overcome the lack of it. This article first provides a brief overview of the Trust-related articles in the Bled eConference. It then focuses on one specific aspect of the facilitation of trade in absence of trust: the development of procedural controls that enable Electronic Commerce at arms’ length, summarizing the contributions of the authors on this theme at the Bled Conference since the early 1990s. The paper concludes with the authors’ current view on developing procedural controls, focusing on the design process itself, which is often a rather lengthy process consisting of trial-and -error. Here a more analytical approach is proposed to the identification of control requirements for inter-organizational procedures. The approach involves abstracting the process to identify its basic deontic elements. A model checking approach is then applied to identify needed controls.