Find link

language:

Find link is a tool written by Edward Betts.

searching for Fred B. Schneider 7 found (23 total)

Queue automaton (768 words) [view diff] exact match in snippet view article find links to article

queue machine model. Kozen, Dexter C. (1997) [1951]. David Gries, Fred B. Schneider (ed.). Automata and Computability (hardcover). Undergraduate Texts

Principle of least privilege (1,811 words) [view diff] exact match in snippet view article find links to article

Part I. pp. 571–578. doi:10.1145/1479992.1480073. S2CID 7371342. Fred B. Schneider. "Least Privilege and More" (PDF). Ben Mankin, The Formalisation of

Read-only Turing machine (812 words) [view diff] exact match in snippet view article find links to article

automaton Quantum computer Kozen, Dexter C. (1997) [1951]. David Gries, Fred B. Schneider (ed.). Automata and Computability (hardcover). Undergraduate Texts

List of graphs (1,251 words) [view diff] exact match in snippet view article find links to article

Yn+1, 3, with the edges of the outer cycle removed. David Gries and Fred B. Schneider, A Logical Approach to Discrete Math, Springer, 1993, p 436. Gallian

Security type system (945 words) [view diff] exact match in snippet view article find links to article

System for Secure Flow Analysis". Journal of Computer Security. 4 (2). Fred B. Schneider, Greg Morrisett, and Robert Harper, A Language-Based Approach to Security

Keith Marzullo (861 words) [view diff] exact match in snippet view article find links to article

pp. 78–83. Los Alamitos, CA, USA. Dag Johansen, Keith Marzullo, Fred B. Schneider, Kjetil Jacobsen, and Dmitrii Zagorodnov. NAP: practical fault-tolerance

Language-based security (2,108 words) [view diff] exact match in snippet view article find links to article

Sabelfeld and Andrew C. Myers, Language-Based Information-Flow Security Fred B. Schneider et al., A Language-Based Approach to Security, Carnegie Mellon University