Deepinder P. Sidhu Executable Logic Specifications: A New Approach to Computer Security. 142-153 1984 conf/sp/1984 IEEE Symposium on Security and Privacy db/conf/sp/sp1984.html#Sidhu84