Artículo:

A Type Discipline for Authorization Policies.

Autor:

Fournet, Cédric

Gordon, Andrew D.

Maffeis, Sergio

Página:

1

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

29

Número:

5

Periodo:

Septiembre 2007

ISSN:

01640925

SrcID:

01640925-2007-05.txt