Search Images Maps Play YouTube News Gmail Drive More »
My library | Help | Advanced Book Search | Web History | Sign in

Books

Foundations of secure computation

Front Cover
0 Reviews
Academic Press, 1978 - Computers - 404 pages
Data base security; Encryption as a security mechanism; Design-oriented models of operating system security; Theoretical models of operating system security.

From inside the book

 

Your search - 0122103505 - did not match any documents.

Try this search over all volumes: 0122103505

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books

Systems Analysis and Design in a Changing World
Systems Analysis and Design in a Changing World
John W. Satzinger,Robert B. Jackson,Stephen D. Burd
No preview available - 2008
C++ Programming: From Problem Analysis to Program Design
C++ Programming: From Problem Analysis to Program Design
D. S. Malik
Limited preview - 2008
Proceedings of the 1983 Symposium on Security and Privacy, April 25-27, 1983 ...
Proceedings of the 1983 Symposium on Security and Privacy, April 25-27, 1983 ...
IEEE Computer Society. Technical Committee on Security and Privacy
Snippet view - 1984
All related books »

Contents

Encryption as a Security Mechanism
93
Lipton and Leonard McNeil
115
Digitalized Signatures Michael O Rabin
155
Copyright

7 other sections not shown

Common terms and phrases

access control algorithm allow apply authorization balancing bits catalog channel command compromise Computer Science computer security computer system condition configuration consider corresponding data base database database security decryption define Definition delete DeMillo determine digital signatures Dobkin encoding encryption entry assertion example execution Factor Lemma formal function given grant graph hence Hydra implementation individual information transmission initial input kernel Lemma Lipton median methods Multics number of queries object operating system parameters possible Post Correspondence Problem prime constraint principle of attenuation privileges problem procedure proof proprietary software protection mechanisms protection system protocol public key restricted result Ruzzo S-boxes S-P network scheme security kernel sentential forms sequence signature block statistical strong dependency subset superimposed coding Take-Grant model Take-Grant system Theorem ticket tion trade secret transaction transmitted variables vector addition system vendor violator

References to this book

From other books

Cryptology and Computational Number Theory: Lecture Notes ( ... )
Cryptology and Computational Number Theory: Lecture Notes ( ... )
C. Pomerance,Shafi Goldwasser
Limited preview - 1990
Proceedings of the ... Symposium on Security and Privacy
Proceedings of the ... Symposium on Security and Privacy

No preview available - 1980
All Book Search results »

From Google Scholar

A Security Framework for a Mobile Agent System
Ciaran Bryce
Proposed Technical Evaluation Criteria for Trusted Computer Systems
GH Nibaldi - 1979
A Secure Public-key Signature System With Extremely Fast Verification
DANIEL J BERNSTEIN
Police Agents for Enforcing Internet Security
Ciaran Bryce
All Scholar search results »

Bibliographic information

QR code for Foundations of secure computation
TitleFoundations of secure computation
Academic Press Rapid Manuscript Reproduction
AuthorGeorgia Institute of Technology
EditorRichard A. DeMillo
ContributorRichard A. DeMillo
Editionillustrated
PublisherAcademic Press, 1978
Original fromthe University of California
Digitized4 Nov 2008
ISBN0122103505, 9780122103506
Length404 pages
Subjects ›  › 

Computer security
Computer security - Congresses
Computers
Computers / Security / General
Reference / Questions & Answers
  
Export CitationBiBTeX EndNote RefMan