DMCA

Verifying Information Flow Control Over Unbounded Processes

by William R. Harris , Nicholas A. Kidd , Sagar Chaki , Somesh Jha , Thomas Reps , Grammatech Inc
Citations:15 - 6 self