Publications

Normative Specification: A Tool for Trust and Security

AuthID
P-004-PPR

Author(s)

Pacheco, O

Editor(s)

Dimitrakos, T; Martinelli, F; Ryan, PYA; Schneider, S

Document Type

Article

Year published

2006

Published

in FORMAL ASPECTS IN SECURITY AND TRUST in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743

Volume: 3866, Pages: 187-202 (16)

Conference

3Rd International Workshop on Formal Aspects in Security and Trust, Date: JUL 18-19, 2005, Location: Newcastle upon tyne, ENGLAND, Sponsors: BCS FACS, IIT CNR

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/11679219_14

Scopus: 2-s2.0-33745644270

Wos: WOS:000236940300014

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Normative Specification: A Tool for Trust and Security

Useful Links

Get Help

Federated Authentication (Click on the image)

Normative Specification: A Tool for Trust and Security

Useful Links

Get Help