Visualising the Structure of an IC-card Security Architecture

Object-oriented dataflow models make it possible to explicitly render security and state manipulations of protocols. Research paper, abstract in HTML, body in Postscript; by Hugh Glaser, Pieter H. Hartel. [Declarative Systems & Software Engineering, DSSE]