Formal Aspects in Security and Trust - IFIP International Federation for Information Processing
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

0387240500

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reasoning about Secure Interoperation Using Soft Constraints

Formal Aspects in Security and Trust - IFIP International Federation for Information Processing ◽

10.1007/0-387-24098-5_13 ◽

2005 ◽

pp. 173-186

Author(s):

Stefano Bistarelli ◽

Simon N. Foley ◽

Barry O'Sullivan

Keyword(s):

Soft Constraints ◽

Secure Interoperation

Download Full-text

Modelling Dynamic Opacity Using Petri Nets with Silent Actions

Formal Aspects in Security and Trust - IFIP International Federation for Information Processing ◽

10.1007/0-387-24098-5_12 ◽

2005 ◽

pp. 159-172 ◽

Cited By ~ 8

Author(s):

Jeremy W. Bryans ◽

Maciej Koutny ◽

Peter Y.A. Ryan

Keyword(s):

Petri Nets

Download Full-text

Pattern-Matching Spi-Calculus

Formal Aspects in Security and Trust - IFIP International Federation for Information Processing ◽

10.1007/0-387-24098-5_5 ◽

2005 ◽

pp. 55-70

Author(s):

Christian Haack ◽

Alan Jeffrey

Keyword(s):

Pattern Matching

Download Full-text

An Interactive Trust Management and Negotiation Scheme

Formal Aspects in Security and Trust - IFIP International Federation for Information Processing ◽

10.1007/0-387-24098-5_9 ◽

2005 ◽

pp. 115-128 ◽

Cited By ~ 4

Author(s):

Hristo Koshutanski ◽

Fabio Massacci

Keyword(s):

Trust Management

Download Full-text

Decidability of Opacity with Non-Atomic Keys

Formal Aspects in Security and Trust - IFIP International Federation for Information Processing ◽

10.1007/0-387-24098-5_6 ◽

2005 ◽

pp. 71-84 ◽

Cited By ~ 7

Author(s):

Laurent Mazaré

Download Full-text

Complementing Computational Protocol Analysis with Formal Specifications

Formal Aspects in Security and Trust - IFIP International Federation for Information Processing ◽

10.1007/0-387-24098-5_10 ◽

2005 ◽

pp. 129-144 ◽

Cited By ~ 1

Author(s):

Kim-Kwang Raymond Choo ◽

Colin Boyd ◽

Yvonne Hitchcock ◽

Greg Maitland

Keyword(s):

Protocol Analysis ◽

Formal Specifications ◽

Computational Protocol

Download Full-text

Information Flow Analysis for Probabilistic Timed Automata

Formal Aspects in Security and Trust - IFIP International Federation for Information Processing ◽

10.1007/0-387-24098-5_2 ◽

2005 ◽

pp. 13-26 ◽

Cited By ~ 2

Author(s):

Ruggero Lanotte ◽

Andrea Maggiolo-Schettini ◽

Angelo Troina

Keyword(s):

Information Flow ◽

Timed Automata ◽

Flow Analysis ◽

Information Flow Analysis ◽

Probabilistic Timed Automata

Download Full-text

Discretionary Overriding of Access Control in the Privilege Calculus

Formal Aspects in Security and Trust - IFIP International Federation for Information Processing ◽

10.1007/0-387-24098-5_16 ◽

2005 ◽

pp. 219-232 ◽

Cited By ~ 5

Author(s):

Erik Rissanen ◽

Babak Sadighi Firozabadi ◽

Marek Sergot

Keyword(s):

Access Control

Download Full-text

Formal Analysis of a Fair Payment Protocol

Formal Aspects in Security and Trust - IFIP International Federation for Information Processing ◽

10.1007/0-387-24098-5_4 ◽

2005 ◽

pp. 41-54

Author(s):

Jan Cederquist ◽

Muhammad Torabi Dashti

Keyword(s):

Formal Analysis ◽

Payment Protocol

Download Full-text

Security Issues in the Tuple-Space Coordination Model

Formal Aspects in Security and Trust - IFIP International Federation for Information Processing ◽

10.1007/0-387-24098-5_1 ◽

2005 ◽

pp. 1-12 ◽

Cited By ~ 1

Author(s):

Mario Bravetti ◽

Nadia Busi ◽

Roberto Gorrieri ◽

Roberto Lucchi ◽

Gianluigi Zavattaro

Keyword(s):

Tuple Space ◽

Coordination Model ◽

Security Issues

Download Full-text

Formal Aspects in Security and Trust - IFIP International Federation for Information ProcessingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

Reasoning about Secure Interoperation Using Soft Constraints

Modelling Dynamic Opacity Using Petri Nets with Silent Actions

Pattern-Matching Spi-Calculus

An Interactive Trust Management and Negotiation Scheme

Decidability of Opacity with Non-Atomic Keys

Complementing Computational Protocol Analysis with Formal Specifications

Information Flow Analysis for Probabilistic Timed Automata

Discretionary Overriding of Access Control in the Privilege Calculus

Formal Analysis of a Fair Payment Protocol

Security Issues in the Tuple-Space Coordination Model

Formal Aspects in Security and Trust - IFIP International Federation for Information Processing
Latest Publications