19th IEEE Computer Security Foundations Workshop (CSFW'06)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769526152

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Resolve-Impossibility for a Contract-Signing Protocol

19th IEEE Computer Security Foundations Workshop (CSFW'06) ◽

10.1109/csfw.2006.27 ◽

2006 ◽

Author(s):

A. Mukhamedov ◽

M.D. Ryan

Keyword(s):

Contract Signing

Download Full-text

A Framework for Establishing Decentralized Secure Coalitions

19th IEEE Computer Security Foundations Workshop (CSFW'06) ◽

10.1109/csfw.2006.5 ◽

2006 ◽

Cited By ~ 1

Author(s):

Hongbin Zhou ◽

S.N. Foley

Download Full-text

Securing Interaction between Threads and the Scheduler

19th IEEE Computer Security Foundations Workshop (CSFW'06) ◽

10.1109/csfw.2006.29 ◽

2006 ◽

Cited By ~ 23

Author(s):

A. Russo ◽

A. Sabelfeld

Download Full-text

Cryptographically Sound Theorem Proving

19th IEEE Computer Security Foundations Workshop (CSFW'06) ◽

10.1109/csfw.2006.10 ◽

2006 ◽

Cited By ~ 24

Author(s):

C. Sprenger ◽

M. Backes ◽

D. Basin ◽

B. Pfitzmann ◽

M. Waidner

Keyword(s):

Theorem Proving

Download Full-text

On the Completeness of Attack Mutation Algorithms

19th IEEE Computer Security Foundations Workshop (CSFW'06) ◽

10.1109/csfw.2006.21 ◽

2006 ◽

Cited By ~ 2

Author(s):

S. Rubin ◽

S. Jha ◽

B.P. Miller

Download Full-text

A Temporal Logic Characterisation of Oservational Determinism

19th IEEE Computer Security Foundations Workshop (CSFW'06) ◽

10.1109/csfw.2006.6 ◽

2006 ◽

Cited By ~ 8

Author(s):

M. Huisman ◽

P. Worah ◽

K. Sunesen

Keyword(s):

Temporal Logic

Download Full-text

Information-Flow Security for Interactive Programs

19th IEEE Computer Security Foundations Workshop (CSFW'06) ◽

10.1109/csfw.2006.16 ◽

2006 ◽

Cited By ~ 31

Author(s):

K.R. O'Neill ◽

M.R. Clarkson ◽

S. Chong

Keyword(s):

Information Flow ◽

Information Flow Security

Download Full-text

Distributed Authorization Using Delegation with Acyclic Paths

19th IEEE Computer Security Foundations Workshop (CSFW'06) ◽

10.1109/csfw.2006.12 ◽

2006 ◽

Cited By ~ 1

Author(s):

A. Lain ◽

M. Mowbray

Keyword(s):

Distributed Authorization

Download Full-text

Policy Analysis for Administrative Role Based Access Control

19th IEEE Computer Security Foundations Workshop (CSFW'06) ◽

10.1109/csfw.2006.22 ◽

2006 ◽

Cited By ~ 31

Author(s):

A. Sasturkar ◽

Ping Yang ◽

S.D. Stoller ◽

C.R. Ramakrishnan

Keyword(s):

Access Control ◽

Policy Analysis ◽

Role Based Access Control ◽

Role Based

Download Full-text

Independence From Obfuscation: A Semantic Framework for Dive

19th IEEE Computer Security Foundations Workshop (CSFW'06) ◽

10.1109/csfw.2006.15 ◽

2006 ◽

Cited By ~ 11

Author(s):

R. Pucella ◽

F.B. Schneider

Keyword(s):

Semantic Framework

Download Full-text

19th IEEE Computer Security Foundations Workshop (CSFW'06)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Resolve-Impossibility for a Contract-Signing Protocol

A Framework for Establishing Decentralized Secure Coalitions

Securing Interaction between Threads and the Scheduler

Cryptographically Sound Theorem Proving

On the Completeness of Attack Mutation Algorithms

A Temporal Logic Characterisation of Oservational Determinism

Information-Flow Security for Interactive Programs

Distributed Authorization Using Delegation with Acyclic Paths

Policy Analysis for Administrative Role Based Access Control

Independence From Obfuscation: A Semantic Framework for Dive

19th IEEE Computer Security Foundations Workshop (CSFW'06)
Latest Publications