Proceedings of the 2003 ACM workshop on Formal methods in security engineering - FMSE '03
Latest Publications

TOTAL DOCUMENTS

9

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By ACM Press

1581137818

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Secure protocol composition

Proceedings of the 2003 ACM workshop on Formal methods in security engineering - FMSE '03 ◽

10.1145/1035429.1035431 ◽

2003 ◽

Author(s):

Anupam Datta ◽

Ante Derek ◽

John C. Mitchell ◽

Dusko Pavlovic

Keyword(s):

Protocol Composition ◽

Secure Protocol

Download Full-text

Using interval logics for temporal analysis of security protocols

Proceedings of the 2003 ACM workshop on Formal methods in security engineering - FMSE '03 ◽

10.1145/1035429.1035432 ◽

2003 ◽

Author(s):

Michael R. Hansen ◽

Robin Sharp

Keyword(s):

Security Protocols ◽

Temporal Analysis

Download Full-text

authUML

Proceedings of the 2003 ACM workshop on Formal methods in security engineering - FMSE '03 ◽

10.1145/1035429.1035438 ◽

2003 ◽

Author(s):

Khaled Alghathbar ◽

Duminda Wijesekera

Download Full-text

Algebraic specification of network security risk management

Proceedings of the 2003 ACM workshop on Formal methods in security engineering - FMSE '03 ◽

10.1145/1035429.1035435 ◽

2003 ◽

Author(s):

Mohamed Hamdi ◽

Noureddine Boudriga

Keyword(s):

Risk Management ◽

Network Security ◽

Algebraic Specification ◽

Security Risk ◽

Security Risk Management

Download Full-text

Relating cryptography and formal methods

Proceedings of the 2003 ACM workshop on Formal methods in security engineering - FMSE '03 ◽

10.1145/1035429.1035436 ◽

2003 ◽

Author(s):

Michael Backes ◽

Catherine Meadows ◽

John C. Mitchell

Keyword(s):

Download Full-text

A compositional framework for access control policies enforcement

Proceedings of the 2003 ACM workshop on Formal methods in security engineering - FMSE '03 ◽

10.1145/1035429.1035433 ◽

2003 ◽

Author(s):

Fran�ois Siewe ◽

Antonio Cau ◽

Hussein Zedan

Keyword(s):

Access Control ◽

Control Policies ◽

Access Control Policies

Download Full-text

Formal access control analysis in the software development process

Proceedings of the 2003 ACM workshop on Formal methods in security engineering - FMSE '03 ◽

10.1145/1035429.1035437 ◽

2003 ◽

Author(s):

Manuel Koch ◽

Francesco Parisi-Presicce

Keyword(s):

Access Control ◽

Software Development ◽

Development Process ◽

Control Analysis ◽

Software Development Process

Download Full-text

Representation and analysis of coordinated attacks

Proceedings of the 2003 ACM workshop on Formal methods in security engineering - FMSE '03 ◽

10.1145/1035429.1035434 ◽

2003 ◽

Author(s):

Sviatoslav Braynov ◽

Murtuza Jadiwala

Download Full-text

Fast automatic synthesis of security protocols using backward search

Proceedings of the 2003 ACM workshop on Formal methods in security engineering - FMSE '03 ◽

10.1145/1035429.1035430 ◽

2003 ◽

Author(s):

Hongbin Zhou ◽

Simon N. Foley

Keyword(s):

Security Protocols ◽

Automatic Synthesis

Download Full-text