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

TOTAL DOCUMENTS

9

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By ACM Press

1581139713

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Authenticity by tagging and typing

Proceedings of the 2004 ACM workshop on Formal methods in security engineering - FMSE '04 ◽

10.1145/1029133.1029135 ◽

2004 ◽

Author(s):

Michele Bugliesi ◽

Riccardo Focardi ◽

Matteo Maffei

Download Full-text

Lessons learned using alloy to formally specify MLS-PCA trusted security architecture

Proceedings of the 2004 ACM workshop on Formal methods in security engineering - FMSE '04 ◽

10.1145/1029133.1029145 ◽

2004 ◽

Author(s):

Brant Hashii

Keyword(s):

Lessons Learned ◽

Security Architecture

Download Full-text

MAC and UML for secure software design

Proceedings of the 2004 ACM workshop on Formal methods in security engineering - FMSE '04 ◽

10.1145/1029133.1029144 ◽

2004 ◽

Author(s):

Thuong Doan ◽

Steven Demurjian ◽

T. C. Ting ◽

Andreas Ketterl

Keyword(s):

Software Design ◽

Secure Software

Download Full-text

Automatic analysis of firewall and network intrusion detection system configurations

Proceedings of the 2004 ACM workshop on Formal methods in security engineering - FMSE '04 ◽

10.1145/1029133.1029143 ◽

2004 ◽

Author(s):

Tom�s E. Uribe ◽

Steven Cheung

Keyword(s):

Intrusion Detection ◽

Intrusion Detection System ◽

Detection System ◽

Automatic Analysis ◽

Network Intrusion Detection ◽

Network Intrusion ◽

Network Intrusion Detection System ◽

System Configurations

Download Full-text

Stepwise development of security protocols

Proceedings of the 2004 ACM workshop on Formal methods in security engineering - FMSE '04 ◽

10.1145/1029133.1029139 ◽

2004 ◽

Author(s):

Phan Minh Dung ◽

Phan Minh Thang

Keyword(s):

Security Protocols ◽

Stepwise Development

Download Full-text

A logic-based framework for attribute based access control

Proceedings of the 2004 ACM workshop on Formal methods in security engineering - FMSE '04 ◽

10.1145/1029133.1029140 ◽

2004 ◽

Author(s):

Lingyu Wang ◽

Duminda Wijesekera ◽

Sushil Jajodia

Keyword(s):

Access Control ◽

Attribute Based Access Control

Download Full-text

Formally verifying information flow type systems for concurrent and thread systems

Proceedings of the 2004 ACM workshop on Formal methods in security engineering - FMSE '04 ◽

10.1145/1029133.1029136 ◽

2004 ◽

Author(s):

Gilles Barthe ◽

Leonor Prensa Nieto

Keyword(s):

Information Flow ◽

Type Systems ◽

Download Full-text

Synthesising verified access control systems in XACML

Proceedings of the 2004 ACM workshop on Formal methods in security engineering - FMSE '04 ◽

10.1145/1029133.1029141 ◽

2004 ◽

Author(s):

Nan Zhang ◽

Mark Ryan ◽

Dimitar P. Guelev

Keyword(s):

Access Control ◽

Control Systems

Download Full-text

Timed model checking of security protocols

Proceedings of the 2004 ACM workshop on Formal methods in security engineering - FMSE '04 ◽

10.1145/1029133.1029137 ◽

2004 ◽

Author(s):

R. Corin ◽

S. Etalle ◽

P. H. Hartel ◽

A. Mader

Keyword(s):

Model Checking ◽

Security Protocols ◽

Timed Model Checking

Download Full-text