About Visualising the Structure of an IC-card Security Architecture
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 and Software Engineering, DSSE]
