Walker. David A Type System for Expressive Security Policies. Technical Report TR99-1740, Cornell University, April 1999
(1999)
Languages mentioned
TAL
{1997} Assembly language for TALC