Proceedings 9th IEEE Computer Security Foundations Workshop CSFW-96
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0818675225

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

E-Commerce Payment Protocols: Requirements and Analysis

Proceedings 9th IEEE Computer Security Foundations Workshop CSFW-96 ◽

10.1109/csfw.1996.503692 ◽

2005 ◽

Cited By ~ 2

Author(s):

S. Zaba

Download Full-text

A Genealogy of Non-Interference

Proceedings 9th IEEE Computer Security Foundations Workshop CSFW-96 ◽

10.1109/csfw.1996.503700 ◽

2005 ◽

Author(s):

P.Y.A. Ryan

Download Full-text

How and why feedback composition fails [secure systems]

Proceedings 9th IEEE Computer Security Foundations Workshop CSFW-96 ◽

10.1109/csfw.1996.503694 ◽

2002 ◽

Cited By ~ 3

Author(s):

A. Zakinthinos ◽

E.S. Lee

Keyword(s):

Secure Systems

Download Full-text

Specifying a security policy: a case study

Proceedings 9th IEEE Computer Security Foundations Workshop CSFW-96 ◽

10.1109/csfw.1996.503697 ◽

2002 ◽

Cited By ~ 19

Author(s):

F. Cuppens ◽

C. Saurel

Keyword(s):

Security Policy

Download Full-text

Language generation and verification in the NRL protocol analyzer

Proceedings 9th IEEE Computer Security Foundations Workshop CSFW-96 ◽

10.1109/csfw.1996.503690 ◽

2002 ◽

Cited By ~ 9

Author(s):

C. Meadows

Keyword(s):

Language Generation ◽

Protocol Analyzer

Download Full-text

A HOL extension of GNY for automatically analyzing cryptographic protocols

Proceedings 9th IEEE Computer Security Foundations Workshop CSFW-96 ◽

10.1109/csfw.1996.503691 ◽

2002 ◽

Cited By ~ 19

Author(s):

S.H. Brackin

Keyword(s):

Cryptographic Protocols

Download Full-text

Towards a model of storage jamming

Proceedings 9th IEEE Computer Security Foundations Workshop CSFW-96 ◽

10.1109/csfw.1996.503703 ◽

2002 ◽

Cited By ~ 22

Author(s):

J. McDermott ◽

D. Goldschlag

Download Full-text

A high-throughput secure reliable multicast protocol

Proceedings 9th IEEE Computer Security Foundations Workshop CSFW-96 ◽

10.1109/csfw.1996.503686 ◽

2002 ◽

Cited By ~ 14

Author(s):

D. Malki ◽

M. Reiter

Keyword(s):

High Throughput ◽

Reliable Multicast ◽

Multicast Protocol

Download Full-text

Simmons' protocol is not free of subliminal channels

Proceedings 9th IEEE Computer Security Foundations Workshop CSFW-96 ◽

10.1109/csfw.1996.503702 ◽

2002 ◽

Cited By ~ 6

Author(s):

Y. Desmedt

Download Full-text

An immunological approach to change detection: theoretical results

Proceedings 9th IEEE Computer Security Foundations Workshop CSFW-96 ◽

10.1109/csfw.1996.503687 ◽

2002 ◽

Cited By ~ 31

Author(s):

P. D'haeseleer

Keyword(s):

Change Detection ◽

Immunological Approach ◽

Theoretical Results

Download Full-text

Proceedings 9th IEEE Computer Security Foundations Workshop CSFW-96Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

E-Commerce Payment Protocols: Requirements and Analysis

A Genealogy of Non-Interference

How and why feedback composition fails [secure systems]

Specifying a security policy: a case study

Language generation and verification in the NRL protocol analyzer

A HOL extension of GNY for automatically analyzing cryptographic protocols

Towards a model of storage jamming

A high-throughput secure reliable multicast protocol

Simmons' protocol is not free of subliminal channels

An immunological approach to change detection: theoretical results

Proceedings 9th IEEE Computer Security Foundations Workshop CSFW-96
Latest Publications