Αποστολή με SMS: Designing Secure Communication Networks From Trust Specifications [C.T.I. Technical Reports] TR. 89.05.86