12 research outputs found
Using encryption for authentication in large networks of computers
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
No full textIdentifier protection in a distributed operating system
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
No full textValidation, Verification, and Testing of Computer Software
- Author
- ALLEN F. E.
- AMBLER A. L.
- BARSTOW D R
- BARSTOW D. R.
- BOEHM B. W
- BOE~M B. W.
- BRANSTAD M. A
- BRANSTAD M. A.
- BUDD T
- BUDD T A
- CABE T. J.
- CAINE S. H
- CHAPIN A
- CHERNIAVSKY J C
- CHERNIAVSKY J. C.
- CLARKE A.
- CONSTABLE R. L.
- DAVIS M. D.
- DIJKSTRA E.W.
- DURAN J. W.
- FLOYD R.W.
- GERHART S. L.
- GERHART S.L.
- GOODENOUGH J. B.
- HALSTEAD M. H.
- HECHT M.
- HOWDEN W E
- HOWDEN W E
- HOWOEN W. E
- HOWOEN W. E.
- HOWOEN W.E.
- INFOTECH
- JACKSON M A
- John C. Cherniavsky
- KERNIGHAN B. W.
- KOPPANG R.G.
- LAMB S S
- LIPTON R. J
- MANNA Z.
- Martha A. Branstad
- MCCALL J.
- METZNER J. R.
- MILLER E F
- MILLS H D
- MILLS H.
- MYERS G. J.
- MYERS G.J.
- OST WEIL
- OSTRANO T. J.
- PAIGE M. R.
- PANZL
- PARNAS
- PRATT V R
- RAMAMOORTHY C. V.
- RICHARDSON D. J.
- RO NSON
- SCHOMAN K. E.
- SN~ ED H
- SRS
- STUCKI L.G.
- W. Richards Adrion
- WASSERMA~ A.
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
No full textCharacteristics and functions of software environments: an overview
- Author
- Alford M. W.
- Analyzer User Manual Fortran
- Austell W. P.
- Bayer M.
- Better Computer Software Technology Wider Use
- Branstad Martha A.
- Bryce M.
- Buxton J.
- Clark I. A.
- Computer Programs Guidelines
- D Wallace
- Fenchel R. S.
- Leon
- London R. L.
- Love Tom
- Lyons M. J.
- Perrine T.
- Proceedings
- Psychology Software
- R Houghton
- Riddle William E.
- Rin N. Adam
- Steubing H. G.
- Teitelman W.
- UNIX
- Yourdon E.
- Zollicker M. L.
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
No full textCryptology in Transition
- Author
- Abraham Lempel
- AHO A. V.
- BERLEKAMP E. R.
- BRANSTAD D. K.
- DIFFIE W.
- DIFFIE W.
- EHRSAM W. F.
- FEISTEL H.
- FRIEDMAN W F
- GARDNER M.
- GEFFE P. R.
- HELLMAN M. E.
- HELLMAN M.E.
- KAHN D.
- KARP R. M.
- KNUTH D.E.
- KOLATA G. B
- KOLATA G.B.
- KOLATA G.B.
- LEMPEL A.
- MATYAS S. M.
- MCELIECE R.
- MERKLE R.
- MILLER
- MORRIS R.
- PATTERSON N.
- PLESS V.
- POHLIG S.
- RABIN M O
- RIVEST R.L.
- SHAMIR A.
- SHANNON C. E.
- SHAPLEY D.
- SIMMONS G. J.
- SINKOV A.
- SOLOVAY R.
- SUGARMAN R.
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
No full textTHE CONTROL OF EPIDERMAL THICKNKSS*
- Author
- Bichel P.
- Billingham R. E.
- Branstad G. O.
- Bullough W. S.
- Bullough W. S.
- Bullough W. S.
- Bullough W. S.
- Bullough W. S.
- Bullough W. S.
- Bullough W. S.
- Bullough W. S.
- Bullough W. S.
- Bullough W. S.
- Bullough W. S.
- Bullough W. S.
- Bullough W. S.
- Bullough W. S.
- Bullough W. S.
- Burns E. R.
- Cameron I. L.
- Christophers E.
- Christophers E.
- Christophers E.
- Dulbecco R.
- Ebling F. J.
- Ebling F. J.
- Ebling F. J.
- Elgjo K.
- Frankfurt O. S.
- Frost F. P.
- Garcia-Giralt E.
- Houck J. C.
- Iversen O. H
- Iversen O. H.
- Iversen O. H.
- Kivilaakso E.
- Klein G.
- Laird A. K.
- Laird A. K.
- Lasalvia E.
- Laurence E. B.
- Macdonald R. A.
- Markert C. L.
- Mercer E. H.
- Mohr U.
- Nature D
- Peckham B.
- Rilev P. A.
- Rubin H.
- Rytomaa T.
- Rytomaa T.
- Scott E. J.
- Shanon J.
- Simnett J. D.
- Simnett J. D.
- Skjaeggestad S. S.
- Tosti A.
- Tostic A.
- Weinstein G. D.
- Publication venue
- 'Wiley'
- Publication date
- Field of study
No full textSymmetric and Asymmetric Encryption
- Author
- ADLEMAN L. M
- ALBERT A.
- BERLEKAMP E. R.
- BRANSTAD D.
- BRIGHT H S
- BRIGHT H. S.
- DAVIDA G. I.
- DEAVOURS C. A.
- DIFFIE W
- DIFFIE W.
- FEISTEL H.
- GAINES H.F.
- GAIT J
- GARDNER M.
- GEFFE P.R.
- GILBERT E. N.
- GOLOMB S W
- Gustavus J. Simmons
- HELLMAN M. E
- HELLMAN M. E
- HELLMAN M.E.
- HERLESTAM T.
- HILL L. S
- HILL L. S.
- KAHN D.
- KAHN D.
- KARP R.M.
- LIPTON S M
- MACWILLIAMS
- MASSEY J. L
- MERKLE R. C
- MEYER C
- MORRIS R.
- PETERSON W. W.
- POHLIG S C
- ROBERTS R.W.
- SHANNON C. E
- SHANNON C.E.
- SIMMONS G. J
- SIMMONS G.J.
- SUGARMAN R
- TAUSWORTHE R. C
- TUCHMAN W
- TUCKERMAN B.
- VERNAM G. S.
- WILKES M. V
- WILLIAMS H. C.
- WILLIAMS H. C.
- ZIERLER N.
- ZIERLER N.
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
No full textMethods and limitations of security policy reconciliation
- Author
- Atul Prakash
- Balenson D.
- Bartal Y.
- Blaze M.
- Blaze M.
- Blight D. C.
- Branstad D.
- Cholvy L.
- Chu Y.
- Cook S.
- Diffie W.
- Dinsmore P.
- Gong L.
- Hiltunen M.
- Hiltunen M.
- Housley R.
- Jajodia S.
- Karpinski M.
- Leighton T.
- Liu X.
- McDaniel P.
- McDaniel P.
- McDaniel P.
- McDaniel P.
- Moriconi M.
- Neuman B. C.
- Nikander P.
- Orman H.
- Patrick McDaniel
- Ryutov T.
- Schaefer T. J.
- Schmidt D.
- Wang H.
- Woo T.
- Zao J.
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
No full textLabels and event processes in the Asbestos operating system
- Author
- Bell D. E.
- Berstis V.
- Branstad M.
- Cliff Frey
- David Mazières
- David Ziegler
- Dunkels A.
- Eddie Kohler
- Efstathopoulos P.
- Frans Kaashoek
- Fraser T.
- Goldberg R. P.
- Hardy N.
- Hu W.-M.
- Karger P. A.
- Karger P. A.
- Karger P. A.
- King S. T.
- Krohn M.
- Krohn M.
- Lemos R.
- Liedtke J.
- Loscocco P.
- MacMillan K.
- Maxwell Krohn
- McCollum C. J.
- Mitchell J. G.
- Mware
- News 0.
- Pai V. S.
- Petros Efstathopoulos
- Pike R.
- Rashid R. F.
- Robert Morris
- Rozier M.
- Saltzer J. H.
- Schneier B.
- Shapiro J. S.
- Steve Vandebogart
- Trounson R.
- von Behren R.
- Watson R.
- Whitaker A.
- Zeldovich N. B.
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
No full text
