[1990] Proceedings. The Computer Security Foundations Workshop III
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0818620714

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A logic for reasoning about security

[1990] Proceedings. The Computer Security Foundations Workshop III ◽

10.1109/csfw.1990.128180 ◽

2002 ◽

Cited By ~ 10

Author(s):

J. Glasgow ◽

G. MacEwen ◽

P. Panangaden

Download Full-text

Security models for priority buffering and interrupt handling

[1990] Proceedings. The Computer Security Foundations Workshop III ◽

10.1109/csfw.1990.128189 ◽

2002 ◽

Cited By ~ 5

Author(s):

D. Rosenthal

Keyword(s):

Security Models ◽

Interrupt Handling

Download Full-text

Information-flow analysis for covert-channel identification in multilevel secure operating systems

[1990] Proceedings. The Computer Security Foundations Workshop III ◽

10.1109/csfw.1990.128194 ◽

2002 ◽

Cited By ~ 5

Author(s):

J. He ◽

V.D. Gligor

Keyword(s):

Information Flow ◽

Operating Systems ◽

Flow Analysis ◽

Covert Channel ◽

Channel Identification ◽

Information Flow Analysis

Download Full-text

A logic of communication in hostile environment

[1990] Proceedings. The Computer Security Foundations Workshop III ◽

10.1109/csfw.1990.128181 ◽

2002 ◽

Cited By ~ 40

Author(s):

P. Bieber

Keyword(s):

Hostile Environment

Download Full-text

Representing partial knowledge in an algebraic security model

[1990] Proceedings. The Computer Security Foundations Workshop III ◽

10.1109/csfw.1990.128182 ◽

2002 ◽

Cited By ~ 8

Author(s):

C. Meadows

Keyword(s):

Security Model ◽

Partial Knowledge

Download Full-text

Petri net based modelling of information flow security requirements

[1990] Proceedings. The Computer Security Foundations Workshop III ◽

10.1109/csfw.1990.128185 ◽

2002 ◽

Cited By ~ 10

Author(s):

V. Varadharajan

Keyword(s):

Information Flow ◽

Petri Net ◽

Security Requirements ◽

Information Flow Security

Download Full-text

Formal semantics for logics of cryptographic protocols

[1990] Proceedings. The Computer Security Foundations Workshop III ◽

10.1109/csfw.1990.128183 ◽

2002 ◽

Cited By ~ 11

Author(s):

P. Syverson

Keyword(s):

Formal Semantics ◽

Cryptographic Protocols

Download Full-text

A policy model for denial of service

[1990] Proceedings. The Computer Security Foundations Workshop III ◽

10.1109/csfw.1990.128191 ◽

2002 ◽

Cited By ~ 13

Author(s):

E. Amoroso

Keyword(s):

Denial Of Service ◽

Policy Model

Download Full-text

Categorising non-interference

[1990] Proceedings. The Computer Security Foundations Workshop III ◽

10.1109/csfw.1990.128184 ◽

2002 ◽

Cited By ~ 3

Author(s):

J. Jacob

Download Full-text

A new polyinstantiation integrity constraint for multilevel relations

[1990] Proceedings. The Computer Security Foundations Workshop III ◽

10.1109/csfw.1990.128196 ◽

2002 ◽

Cited By ~ 10

Author(s):

R. Sandhu ◽

S. Jajodia ◽

T. Lunt

Keyword(s):

Integrity Constraint

Download Full-text

[1990] Proceedings. The Computer Security Foundations Workshop IIILatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A logic for reasoning about security

Security models for priority buffering and interrupt handling

Information-flow analysis for covert-channel identification in multilevel secure operating systems

A logic of communication in hostile environment

Representing partial knowledge in an algebraic security model

Petri net based modelling of information flow security requirements

Formal semantics for logics of cryptographic protocols

A policy model for denial of service

Categorising non-interference

A new polyinstantiation integrity constraint for multilevel relations

[1990] Proceedings. The Computer Security Foundations Workshop III
Latest Publications