Nexus Authorization Logic (NAL): Design . . .

by Fred B. Schneider , Kevin Walsh , Emin Gün Sirer