On Security Flow Analysis in Computer Systems (Preliminary Report) | IEEE Conference Publication | IEEE Xplore