A Few Remarks about Formal Development of Secure Systems | IEEE Conference Publication | IEEE Xplore