Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004.
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

076952169x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lenient array operations for practical secure information flow

Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004. ◽

10.1109/csfw.2004.1310736 ◽

2004 ◽

Cited By ~ 5

Author(s):

Zhenyue Deng ◽

G. Smith

Keyword(s):

Information Flow ◽

Secure Information

Download Full-text

Secure information flow by self-composition

Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004. ◽

10.1109/csfw.2004.1310735 ◽

2004 ◽

Cited By ~ 77

Author(s):

G. Barthe ◽

P.R. D'Argenio ◽

T. Rezk

Keyword(s):

Information Flow ◽

Secure Information

Download Full-text

Modelling downgrading in information flow security

Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004. ◽

10.1109/csfw.2004.1310741 ◽

2004 ◽

Cited By ~ 12

Author(s):

A. Bossi ◽

C. Piazza ◽

S. Rossi

Keyword(s):

Information Flow ◽

Information Flow Security

Download Full-text

Enforcing robust declassification

Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004. ◽

10.1109/csfw.2004.1310740 ◽

2004 ◽

Cited By ~ 28

Author(s):

A.C. Myers ◽

A. Sabelfeld ◽

S. Zdancewic

Download Full-text

Formal analysis of multi-party contract signing

Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004. ◽

10.1109/csfw.2004.1310746 ◽

2004 ◽

Cited By ~ 9

Author(s):

R. Chadha ◽

S. Kremer ◽

A. Scedrov

Keyword(s):

Formal Analysis ◽

Contract Signing

Download Full-text

By reason and authority: a system for authorization of proof-carrying code

Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004. ◽

10.1109/csfw.2004.1310744 ◽

2004 ◽

Cited By ~ 5

Author(s):

N. Whitehead ◽

M. Abadi ◽

G. Necula

Download Full-text

Generic insecurity of cliques-type authenticated group key agreement protocols

Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004. ◽

10.1109/csfw.2004.1310729 ◽

2004 ◽

Cited By ~ 4

Author(s):

O. Pereira ◽

J.-J. Quisquater

Keyword(s):

Key Agreement ◽

Group Key ◽

Group Key Agreement ◽

Authenticated Group Key ◽

Agreement Protocols

Download Full-text

A formal foundation for XrML

Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004. ◽

10.1109/csfw.2004.1310745 ◽

2004 ◽

Cited By ~ 6

Author(s):

J.Y. Halpern ◽

V. Weissman

Download Full-text

Cassandra: flexible trust management, applied to electronic health records

Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004. ◽

10.1109/csfw.2004.1310738 ◽

2004 ◽

Cited By ~ 53

Author(s):

M.Y. Becker ◽

P. Sewell

Keyword(s):

Electronic Health Records ◽

Trust Management ◽

Health Records ◽

Electronic Health

Download Full-text

Abstraction and re .nement in protocol derivation

Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004. ◽

10.1109/csfw.2004.1310730 ◽

2004 ◽

Cited By ~ 1

Author(s):

A. Datta ◽

A. Derek ◽

J.C. Mitchell ◽

D. Pavlovic

Download Full-text

Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004.Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Lenient array operations for practical secure information flow

Secure information flow by self-composition

Modelling downgrading in information flow security

Enforcing robust declassification

Formal analysis of multi-party contract signing

By reason and authority: a system for authorization of proof-carrying code

Generic insecurity of cliques-type authenticated group key agreement protocols

A formal foundation for XrML

Cassandra: flexible trust management, applied to electronic health records

Abstraction and re .nement in protocol derivation

Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004.
Latest Publications