1. Home
  2. Material Detail: Principles of Security and Trust | SpringerLink

Material Detail

Principles of Security and Trust | SpringerLink

Principles of Security and Trust | SpringerLink

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10804)

Also part of the Security and Cryptology book sub series (LNSC, volume 10804)

This book is Open Access under a CC BY licence.

Keywords:
program compilers, privacy, security analysis, world wide web, semantics, programming languages, cryptography, formal specification, authentication, formal logic, separation logic, specifications, computer science, formal methods, data privacy, software engineering, computer software selection and evaluation, security systems, internet, verification
Disciplines:
Go to Material  
Bookmark / Add to Course ePortfolio
Create a Learning Exercise
Add Accessibility Information
Rate
Add a Comment

Quality

  • User Rating
  • Comments
  • Learning Exercises
  • Bookmark Collections
  • Course ePortfolios
  • Accessibility Info

More about this material

Material Type:
Open (Access) Textbook
Date Added to MERLOT:
May 29, 2018
Date Modified in MERLOT:
May 29, 2018
Author:
Submitter:
Naomi Toftness
Primary Audience:
College Upper Division, Graduate School, Professional
Technical Format:
PDF, Website, Other
Mobile Compatibility:
Not specified at this time
Language:
English
Cost Involved:
No
Source Code Available:
Unknown
Accessibility Information Available:
Unknown
Creative Commons:
Creative Commons License
This work is licensed under a Attribution 4.0 International

Browse...

Disciplines with similar materials as Principles of Security and Trust | SpringerLink
People who viewed this also viewed
Other materials like Principles of Security and Trust | SpringerLink

Comments

Log in to participate in the discussions or sign up if you are not already a MERLOT member.
hidden