Artículo:

A uniform type structure for secure information flow.

Autor:

Kohei Honda

Nobuko Yoshida:

Página:

31

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

29

Número:

6

Periodo:

Noviembre 2007

ISSN:

01640925

SrcID:

01640925-2007-06.txt