Formally-Based Black-Box Monitoring of Security Protocols

Full text not available from this repository. Send a request to the author for a copy of the paper
Item Type: Article
MIUR type: Article > Journal article
Title: Formally-Based Black-Box Monitoring of Security Protocols
Authors string: Pironti A.; Jürjens J
University authors:
Journal or Publication Title: LECTURE NOTES IN COMPUTER SCIENCE
Referee type: Not specified type
Volume: 5965/2010
Page Range: pp. 79-95
Number of Pages: 17
ISSN: 0302-9743
Date: 2010
Status: Published
Language of publication: English
Uncontrolled Keywords:
Departments (original): DAUIN - Control and Computer Engineering
Departments: UNSPECIFIED
Related URLs:
    Subjects:
    Date Deposited: 08 Feb 2010 11:02
    Last Modified: 28 Oct 2014 08:01
    Id Number (DOI): 10.1007/978-3-642-11747-3_7
    Permalink: http://porto.polito.it/id/eprint/2296405
    Linksolver URL: Linksolver link
    Citations:

    This field presents the citations number present on Scopus and Web of Science databases e links to the remote records. Also Google Scholar link is present.

    There may be discrepancies with respect to the data in databases for the following reasons:

    • Differences from fields (title, year,...) in UGOV and those in the databases.
    • PORTO citations are extracted monthly. The db is in real time
    • The WoS citation number reflect the collections subscribed by Politecnico (Science citation index Expanded and Conference Proceedings Citation Index)

    For informations contact scrivia/porto

    +
    -

    Actions (login required)

    View Item View Item