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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781595938879

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Security policy analysis using deductive spreadsheets

Proceedings of the 2007 ACM workshop on Formal methods in security engineering - FMSE '07 ◽

10.1145/1314436.1314443 ◽

2007 ◽

Cited By ~ 5

Author(s):

Anu Singh ◽

C. R. Ramakrishnan ◽

I. V. Ramakrishnan ◽

Scott D. Stoller ◽

David S. Warren

Keyword(s):

Policy Analysis ◽

Security Policy

Download Full-text

Cryptol

Proceedings of the 2007 ACM workshop on Formal methods in security engineering - FMSE '07 ◽

10.1145/1314436.1314442 ◽

2007 ◽

Cited By ~ 11

Author(s):

Jeff Lewis

Download Full-text

Verification condition generation for conditional information flow

Proceedings of the 2007 ACM workshop on Formal methods in security engineering - FMSE '07 ◽

10.1145/1314436.1314438 ◽

2007 ◽

Cited By ~ 13

Author(s):

Torben Amtoft ◽

Anindya Banerjee

Keyword(s):

Information Flow ◽

Verification Condition ◽

Conditional Information

Download Full-text

A simple and expressive semantic framework for policy composition in access control

Proceedings of the 2007 ACM workshop on Formal methods in security engineering - FMSE '07 ◽

10.1145/1314436.1314439 ◽

2007 ◽

Cited By ~ 20

Author(s):

Glenn Bruns ◽

Daniel S Dantas ◽

Michael Huth

Keyword(s):

Access Control ◽

Semantic Framework ◽

Policy Composition

Download Full-text

A calculus of challenges and responses

Proceedings of the 2007 ACM workshop on Formal methods in security engineering - FMSE '07 ◽

10.1145/1314436.1314444 ◽

2007 ◽

Cited By ~ 10

Author(s):

Michael Backes ◽

Agostino Cortesi ◽

Riccardo Focardi ◽

Matteo Maffei

Download Full-text

Selecting theories and nonce generation for recursive protocols

Proceedings of the 2007 ACM workshop on Formal methods in security engineering - FMSE '07 ◽

10.1145/1314436.1314445 ◽

2007 ◽

Cited By ~ 1

Author(s):

Klaas Ole Küertz ◽

Ralf Küesters ◽

Thomas Wilke

Download Full-text

Formal methods in security engineering

Proceedings of the 2007 ACM workshop on Formal methods in security engineering - FMSE '07 ◽

10.1145/1314436.1314437 ◽

2007 ◽

Author(s):

John McLean

Keyword(s):

Formal Methods ◽

Security Engineering

Download Full-text

Weaving rewrite-based access control policies

Proceedings of the 2007 ACM workshop on Formal methods in security engineering - FMSE '07 ◽

10.1145/1314436.1314446 ◽

2007 ◽

Cited By ~ 10

Author(s):

Anderson Santana de Oliveira ◽

Eric Ke Wang ◽

Claude Kirchner ◽

Helene Kirchner

Keyword(s):

Access Control ◽

Control Policies ◽

Access Control Policies

Download Full-text

Security policy compliance with violation management

Proceedings of the 2007 ACM workshop on Formal methods in security engineering - FMSE '07 ◽

10.1145/1314436.1314441 ◽

2007 ◽

Cited By ~ 14

Author(s):

Julien Brunel ◽

Frédéric Cuppens ◽

Nora Cuppens ◽

Thierry Sans ◽

Jean-Paul Bodeveix

Keyword(s):

Security Policy ◽

Policy Compliance ◽

Security Policy Compliance

Download Full-text

Formal correctness of conflict detection for firewalls

Proceedings of the 2007 ACM workshop on Formal methods in security engineering - FMSE '07 ◽

10.1145/1314436.1314440 ◽

2007 ◽

Cited By ~ 29

Author(s):

Venanzio Capretta ◽

Bernard Stepien ◽

Amy Felty ◽

Stan Matwin

Keyword(s):

Conflict Detection

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Security policy analysis using deductive spreadsheets

Cryptol

Verification condition generation for conditional information flow

A simple and expressive semantic framework for policy composition in access control

A calculus of challenges and responses

Selecting theories and nonce generation for recursive protocols

Formal methods in security engineering

Weaving rewrite-based access control policies

Security policy compliance with violation management

Formal correctness of conflict detection for firewalls

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