1979 International Workshop on Managing Requirements Knowledge (MARK)

Safeguarding cryptographic keys

G. R. Blakley · 1979 · 3.4K citations

Computing, Computer Engineering, Computer Science +17

A loosely-coupled applicative multi-processing system

Robert Keller, Gary Lindstrom, Suhas Patil · 1979 · 106 citations

Engineering, Computer Engineering, Computer Science +13

The foundations of a provably secure operating system (PSOS)

Richard J. Feiertag, Peter G. Neumann · 1979 · 96 citations

Computing, Computer Science, Computer Systems +15

A survey of interconnection methods for reconfigurable parallel processing systems

Howard Jay Siegel, Robert J. McMillen, Philip T. Mueller · 1979 · 67 citations

Engineering, Computer Engineering, Computer Science +17

A Markovian model for reliability and other performance measures of software systems

Amrit L. Goel, Kazu Okumoto · 1979 · 62 citations

Computing, Computer Science, Quality Engineering +16