Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0818684887

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Security Impact Of Distributed Computing Technologies Introduction To Panel Discussion

Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238) ◽

10.1109/csfw.1998.683166 ◽

2005 ◽

Author(s):

D. Gollmann ◽

L. Gong ◽

G. Karjoth ◽

C. Mitchell

Keyword(s):

Distributed Computing ◽

Panel Discussion ◽

Computing Technologies

Download Full-text

Varieties Of Authentication

Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238) ◽

10.1109/csfw.1998.683157 ◽

2005 ◽

Cited By ~ 1

Author(s):

R. Gorrieri ◽

P. Syverson

Download Full-text

A simple logic for authentication protocol design

Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238) ◽

10.1109/csfw.1998.683165 ◽

2002 ◽

Cited By ~ 15

Author(s):

L. Buttyan ◽

S. Staamann ◽

U. Wilhelm

Keyword(s):

Authentication Protocol ◽

Protocol Design ◽

Simple Logic

Download Full-text

Formal analysis of a non-repudiation protocol

Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238) ◽

10.1109/csfw.1998.683155 ◽

2002 ◽

Cited By ~ 33

Author(s):

S. Schneider

Keyword(s):

Formal Analysis

Download Full-text

Proving security protocols with model checkers by data independence techniques

Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238) ◽

10.1109/csfw.1998.683158 ◽

2002 ◽

Cited By ~ 12

Author(s):

A.W. Roscoe

Keyword(s):

Security Protocols ◽

Data Independence

Download Full-text

Abstraction-based misuse detection: high-level specifications and adaptable strategies

Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238) ◽

10.1109/csfw.1998.683169 ◽

2002 ◽

Author(s):

Jia-Ling Lin ◽

X.S. Wang ◽

S. Jajodia

Keyword(s):

Misuse Detection ◽

High Level

Download Full-text

Honest ideals on strand spaces

Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238) ◽

10.1109/csfw.1998.683156 ◽

2002 ◽

Cited By ~ 21

Author(s):

F.J. Thayer Fabrega ◽

J.C. Herzog ◽

J.D. Guttman

Keyword(s):

Strand Spaces

Download Full-text

Evaluating and improving protocol analysis by automatic proof

Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238) ◽

10.1109/csfw.1998.683164 ◽

2002 ◽

Cited By ~ 10

Author(s):

S.H. Brackin

Keyword(s):

Protocol Analysis

Download Full-text

On the structure of delegation networks

Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238) ◽

10.1109/csfw.1998.683151 ◽

2002 ◽

Cited By ~ 18

Author(s):

T. Aura

Download Full-text

Weakly secret bit commitment: applications to lotteries and fair exchange

Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238) ◽

10.1109/csfw.1998.683149 ◽

2002 ◽

Cited By ~ 12

Author(s):

P. Syverson

Keyword(s):

Fair Exchange ◽

Bit Commitment

Download Full-text

Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

The Security Impact Of Distributed Computing Technologies Introduction To Panel Discussion

Varieties Of Authentication

A simple logic for authentication protocol design

Formal analysis of a non-repudiation protocol

Proving security protocols with model checkers by data independence techniques

Abstraction-based misuse detection: high-level specifications and adaptable strategies

Honest ideals on strand spaces

Evaluating and improving protocol analysis by automatic proof

On the structure of delegation networks

Weakly secret bit commitment: applications to lotteries and fair exchange

Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238)
Latest Publications