Scilit logo
  • Rankings
  • Search Publications
    Cited-by Search
  • Sources
  • Publishers
  • Scholars
    Top Cited Scholars
  • Organizations
  • Scilit
    About Us
    Advisory Board
    Data Sources
    Career
    Support / Contact
    User Guide
    Publisher User
    Search Function
    Rankings Function
    API Resource
    Scilit Knowledge
    Metrics
    Scilit Recognitions
    Publications Classification
    Media
    News
    Blog
Register
  1. Home
  2. Publications
  3. Formal Aspects of Security and Trust
  1. Home
  2. Publications
  3. Formal Aspects of Security and Trust

Formal Aspects of Security and Trust

Editors:
  • PDPierpaolo Degano
    Pierpaolo Degano
  • SESandro Etalle
    Sandro Etalle
  • JGJoshua Guttman
    Joshua Guttman
Publisher website
Google Scholar
  • 1 January 2011
    • book
    • Published by Springer Nature
    • DOI:10.1007/978-3-642-19751-2
Abstract
No abstract available
Keywords
  • ACCESS CONTROL
  • ATTACK-DEFENSE TREES
  • AUCTION PROTOCOLS
  • AUTHENTICATION
  • CRYPTOGRAPHIC ENFORCEMENT
  • DECISION PROCEDURES
  • INFORMATION FLOW ANALYSIS
  • MESSAGE DEDUCIBILITY
  • NETWORK SECURITY PROTOCOLS
  • SECURE COMMUNICATION CHANNELS
  • SECURITY POLICIES
  • TRUST NETWORKS
  • TRUST SEMANTICS
Cited by 3 articles
Scilit logo

Have questions? Email us at support@scilit.com

© 2026 MDPI (Basel, Switzerland) unless otherwise stated.

MDPI initiatives

  • MDPI Journals
  • MDPI Books
  • Sciforum
  • Proceedings Series
  • Preprints.org
  • SciProfiles
  • Encyclopedia
  • JAMS

Legal

  • Privacy
  • Terms
  • About
  • Contact
  • Disclaimer

Follow us

  • facebook icon
  • x icon
  • linkedin icon

Join us

  • Career

© 2026 MDPI (Basel, Switzerland) unless otherwise stated.