Quote: model userids as a finite state automata; each process tracks its privilege level with a real, effective, and saved uid; transitions are system calls
Our model of the uid-setting system calls is … saved uids) to track privilege levels, and thus … we label each transition with the system call …
Google-1Google-2
Copyright clearance needed for quotation.
Related Topics
Topic: state machine (67 items)
Topic: authentication (87 items)