↓ Skip to main content
What is this page? Embed badge

Foundations of Security Analysis and Design

Overview of attention for book
Cover of 'Foundations of Security Analysis and Design'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Mathematical Models of Computer Security
  3. Altmetric Badge
    Chapter 2 The Logic of Authentication Protocols
  4. Altmetric Badge
    Chapter 3 Access Control: Policies, Models, and Mechanisms
  5. Altmetric Badge
    Chapter 4 Security Goals: Packet Trajectories and Strand Spaces
  6. Altmetric Badge
    Chapter 5 Notes on Nominal Calculi for Security and Mobility
  7. Altmetric Badge
    Chapter 6 Classification of Security Properties
Attention for Chapter 5: Notes on Nominal Calculi for Security and Mobility
Altmetric Badge

Readers on

mendeley
16 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Notes on Nominal Calculi for Security and Mobility
Chapter number 5
Book title
Foundations of Security Analysis and Design
Published by
Springer, Berlin, Heidelberg, September 2000
DOI 10.1007/3-540-45608-2_5
Book ISBNs
978-3-54-042896-1, 978-3-54-045608-7
Authors

Andrew D. Gordon

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 16 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Italy 2 13%
Spain 1 6%
France 1 6%
Unknown 12 75%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 5 31%
Researcher 4 25%
Student > Postgraduate 2 13%
Professor > Associate Professor 2 13%
Professor 1 6%
Other 2 13%
Readers by discipline Count As %
Computer Science 14 88%
Business, Management and Accounting 2 13%

This page is provided by Altmetric.