17th IEEE Computer Security Foundations Workshop : proceedings : June 28-30, 2004 : Pacific Grove, California (English)
- New search for: Computer Security Foundations Workshop
- New search for: IEEE Computer Society
- New search for: Computer Security Foundations Workshop
- New search for: IEEE Computer Society
2004
-
ISBN:
- Conference Proceedings / Electronic Resource
-
Title:17th IEEE Computer Security Foundations Workshop : proceedings : June 28-30, 2004 : Pacific Grove, California
-
Additional title:IEEE Computer Security Foundations Workshop
CSFW-04
Computer Security Foundations Workshop, 2004. Proceedings. 17th IEEE
17th IEEE Computer Security Foundations Workshop 2004 -
Contributors:
-
Conference:Computer Security Foundations Workshop ; 17th
-
Publisher:
- New search for: IEEE Computer Society
-
Place of publication:Los Alamitos, Calif
-
Publication date:2004
-
Size:1 Online-Ressource (viii, 292 pages)
-
Remarks:illustrations
"IEEE Computer Society order number P2169"--Title page verso
Includes bibliographical references and author index
Title from online title page (viewed Jul. 13, 2004) -
ISBN:
-
Type of media:Conference Proceedings
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 2
-
A theory of dictionary attacks and its complexityDelaune, S. / Jacquemard, F. et al. | 2004
- 16
-
Generic insecurity of cliques-type authenticated group key agreement protocolsPereira, O. / Quisquater, J.-J. et al. | 2004
- 30
-
Abstraction and refinement in protocol derivationDatta, A. / Derek, A. / Mitchell, J.C. / Pavlovic, D. et al. | 2004
- 48
-
A distributed calculus for role-based access controlBraghin, C. / Gorla, D. / Sassone, V. et al. | 2004
- 61
-
From stack inspection to access control: a security analysis for librariesBesson, F. / Blanc, T. / Fournet, C. / Gordon, A.D. et al. | 2004
- 78
-
Selecting appropriate counter-measures in an intrusion detection frameworkCuppens, F. / Gombault, S. / Sans, T. et al. | 2004
- 88
-
Using active learning in intrusion detectionAlmgren, M. / Jonsson, E. et al. | 2004
- 100
-
Secure information flow by self-compositionBarthe, G. / D'Argenio, P.R. / Rezk, T. et al. | 2004
- 115
-
Lenient array operations for practical secure information flowZhenyue Deng, / Smith, G. et al. | 2004
- 126
-
Owned policies for information securityChen, H. / Chong, S. et al. | 2004
- 139
-
Cassandra: flexible trust management, applied to electronic health recordsBecker, M.Y. / Sewell, P. et al. | 2004
- 155
-
The Consistency of Task-Based Authorization Constraints in Workflow SystemsTan, K. / Crampton, J. / Gunter, C. / Institute of Electrical and Electronics Engineers et al. | 2004
- 155
-
The consistency of task-based authorization constraints in workflowTan, K. / Crampton, J. / Gunter, C.A. et al. | 2004
- 172
-
Enforcing robust declassificationMyers, A.C. / Sabelfeld, A. / Zdancewic, S. et al. | 2004
- 187
-
Modelling downgrading in information flow securityBossi, A. / Piazza, C. / Rossi, S. et al. | 2004
- 204
-
Symmetric encryption in a simulatable Dolev-Yao style cryptographic libraryBackes, M. / Pfitzmann, B. et al. | 2004
- 219
-
Universally composable signature, certification, and authenticationCanetti, R. et al. | 2004
- 236
-
By reason and authority: a system for authorization of proof-carrying codeWhitehead, N. / Abadi, M. / Necula, G. et al. | 2004
- 251
-
A formal foundation for XrMLHalpern, J.Y. / Weissman, V. et al. | 2004
- 266
-
Formal analysis of multi-party contract signingChadha, R. / Kramer, S. / Scedrov, A. et al. | 2004
- 280
-
Symbolic model checking the knowledge of the dining cryptographersvan der Meyden, R. / Suf, K. et al. | 2004
- 292
-
Author index| 2004
- ii
-
Proceedings 17th IEEE Computer Security Foundations Workshop| 2004
- iv
-
Copyright page| 2004
- v
-
Table of contents| 2004
- vii
-
Preface| 2004
- viii
-
Workshop Committees| 2004