Access Control, Security and Trust: A Logical Approach [超酷]－ⓕ

作者：CHIN, SHIU-KAI/ OLDER, SUSAN
出版社：TAYLOR & FRANCIS
出版日期：2010年07月26日
語言：英文 ISBN：9781584888628
裝訂：精裝

內容簡介TOPDEVELOPED FROM THE AUTHORS’ COURSES AT SYRACUSE UNIVERSITY AND THE U.S. AIR FORCE RESEARCH LABORATORY, ACCESS CONTROL, SECURITY, AND TRUST: A LOGICAL APPROACH EQUIPS READERS WITH AND ACCESS-CONTROL LOGIC THEY CAN USE TO SPECIFY AND VERIFY THEIR SECURITY DESIGNS. THROUGHOUT THE TEXT, THE AUTHORS USE A SINGLE ACCESS-CONTROL LOGIC BASED ON A SIMPLE PROPOSITIONAL MODAL LOGIC.

THE FIRST PART OF THE BOOK PRESENTS THE SYNTAX AND SEMANTICS OF ACCESS-CONTROL LOGIC, BASIC ACCESS-CONTROL CONCEPTS, AND AN INTRODUCTION TO CONFIDENTIALITY AND INTEGRITY POLICIES. THE SECOND SECTION COVERS ACCESS-CONTROL IN NETWORKS, DELEGATION, PROTOCOLS, AND THE USE OF CRYPTOGRAPHY. IN THE THIRD SECTION, THE AUTHORS FOCUS ON HARDWARE AND VIRTUAL MACHINES. THE FINAL PART DISCUSSES CONFIDENTIALITY, INTEGRITY, AND ROLE-BASED ACCESS-CONTROL.

TAKING A LOGICAL, RIGOROUS APPROACH TO ACCESS CONTROL, THIS BOOK SHOWS HOW LOGIC IS A USEFUL TOOL FOR ANALYZING SECURITY DESIGNS AND SPELLING OUT THE CONDITIONS UPON WHICH ACCESS-CONTROL DECISIONS DEPEND. IT IS DESIGNED FOR COMPUTER ENGINEERS AND COMPUTER SCIENTISTS WHO ARE RESPONSIBLE FOR DESIGNING, IMPLEMENTING, AND VERIFYING SECURE COMPUTER AND INFORMATION SYSTEMS.

售價:4273

###其他選擇連結###

	Beginning IPAD Development for IPhone Developers: Mastering the IPad SDK 作者：Nutting, Jack/ Wooldridge, Dave/ Mark, Dave出版社：Springer-Verlag New York Inc 出版日期：2010年07月31日語言：英文 ISBN：9781430230212裝訂：平裝內容簡介top　　It’s in magazines and newspapers, it’s on television an ...
	PowerPoint 2007 作者：Quamut (COR)出版社：Sterling Pub Co Inc 出版日期：2010年08月03日語言：英文 ISBN：9781411405059裝訂：平裝內容簡介topQuamut is the fastest, most convenient way to learn how to do almost anything. From tasting wine...
	Data Protection for Virtual Data Centers 作者：Buffington, Jason出版社：John Wiley & Sons Inc 出版日期：2010年08月02日語言：英文 ISBN：9780470572146裝訂：平裝內容簡介top’Essential information on how to protect data in virtual environments! Virtualization is c ...
	Microsoft Visual Studio 2010 Unleashed 作者：Snell, Mike/ Powers, Lars出版社：Macmillan Computer Pub 出版日期：2010年08月04日語言：英文 ISBN：9780672330810裝訂：平裝內容簡介topThis book is for developers who are able to write C# or VB code. The first part i ...
	Beginning Programming with C++ for Dummies 作者：Davis, Stephen R.出版社：John Wiley & Sons Inc 出版日期：2010年08月16日語言：英文 ISBN：9780470617977裝訂：平裝內容簡介topAn ideal starting point to get a strong grasp of the fundamentals of C++C++ is an obje ...
	Microsoft Visual Basic 2010: Reloaded 作者：Zak, Diane出版社：Course Technology Ptr 出版日期：2010年08月18日語言：英文 ISBN：9781111221799裝訂：平裝內容簡介topPairing fundamental programming concepts with business applications and also fun and engaging gam ...
	Cloud Security: A Comprehensive Guide to Secure Cloud Computing 作者：Krutz, Ronald L./ Vines, Russell Dean出版社：John Wiley & Sons Inc 出版日期：2010年08月02日語言：英文 ISBN：9780470589878裝訂：平裝內容簡介topAn internationally renowned team of experts decipher the most challeng ...
	Microsoft Office Access 2010: Introductory 作者：Adamski, Joseph J./ Finnegan, Kathy T.出版社：Course Technology Ptr 出版日期：2010年08月19日語言：英文 ISBN：9780538798488裝訂：平裝 ...
	Sergey Brin and Larry Page: Founders of Google 作者：McPherson, Stephanie Sammartino出版社：Lerner Pub Group 出版日期：2010年08月01日語言：英文 ISBN：9780761352211裝訂：精裝內容簡介topDescribes the lives and accomplishments of the two founders of Google, from their ...
	Microsoft Office Powerpoint 2010: Introductory 作者：Shelly, Gary B./ Sebok, Susan L.出版社：Course Technology Ptr 出版日期：2010年08月02日語言：英文 ISBN：9781439078488裝訂：平裝 ...