SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 2001, Pages 295-305

Confidentiality-preserving refinement

(3) Heisel, Maritta a Pfitzmann, Andreas b Santen, Thomas c

a OTTO VON GUERICKE UNIVERSITY (Germany)

b DRESDEN UNIVERSITY OF TECHNOLOGY (Germany)

c TECHNISCHE UNIVERSITÄT BERLIN (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR ANALYSIS; MATHEMATICAL MODELS; PROBABILITY; SYSTEMS ENGINEERING; THEOREM PROVING;

ABSTRACT SYSTEMS;

SECURITY OF DATA;

EID: 0034829989 PISSN: 10636900 EISSN: None Source Type: Journal
DOI: 10.1109/CSFW.2001.930154 Document Type: Article

Times cited : (18)

References (21)

1
- 84872312669
- A comparison of non-interference and non-deducibility using CSP
- IEEE Computer Society Press
- (1991) Proceedings of the 1991 IEEE Computer Security Workshop , pp. 43-54
- Allen, J.¹

2
- 0003615058
- Communications Security Establishment; Government of Canada
- (1993) The Canadian trusted computer product evaluation criteria (version 3.0e)

3
- 0003765598
- 28 June 1991. Office for Official Publications of the European Communities, Luxembourg, ISBN 92-826-3004-8
- (1991) ITSEC: Information Technology Security, Evaluation Criteria (Provisional Harmonised Criteria, Version 1.2)

4
- 0020299523
- Security policies and security models
- IEEE Computer Society Press
- (1982) Proceedings of the 1982 IEEE Symposium on Security and Privacy , pp. 11-20
- Goguen, J.¹ Meseguer, J.²

5
- 0003616211
- Laws of non-interference in Csp
- (1993) Journal of Computer Security , vol.2 , pp. 37-52
- Graham-Cumming, J.¹

6
- 0003843704
- Prentice Hall
- (1985) Communicating Sequential Processes
- Hoare, C.A.R.¹

7
- 0024663847
- On the derivation of secure components
- IEEE Press
- (1989) IEEE Symposium on Security and Privacy , pp. 242-247
- Jacob, J.¹

8
- 84974756266
- Basic theorems about Security
- (1992) Journal of Computer Security , vol.1 , pp. 385-411
- Jacob, J.¹

9
- 84881150179
- Secrecy-preserving refinement
- J. N. Oliveira and P. Zave, editors, LNCS 2021, Springer-Verlag
- (2001) FME 2001: Formal Methods for Increasing Software Productivity , pp. 135-152
- Jürjens, J.¹

10
- 0003414571
- Springer-Verlag
- (1992) Dependability: Basic Concepts and Terminology in English, French, German, Italian and Japanese
- Laprie, J.-C.¹

11
- 0034836335
- Preserving information flow properties under refinement
- IEEE Press, to appear
- (2001) IEEE Symposium on Security and Privacy
- Mantel, H.¹

12
- 0003724888
- LNCS 828, Springer-Verlag
- (1994) Isabelle - A generic theorem prover
- Paulson, L.C.¹

13
- 0001868056
- Non-interference through determinism
- D. Gollmann, editor, LNCS 875, Springer-Verlag
- (1994) European Symposium on Research in Computer Security (ESORICS) , pp. 33-53
- Roscoe, A.W.¹ Woodcock, J.C.P.² Wulf, L.³

14
- 84940644968
- A mathematical theory of communication
- (1948) The Bell System Technical Journal , vol.27 , pp. 379-423
- Shannon, C.E.¹

15
- 0003566434
- Prentice Hall, 2nd edition
- (1992) The ZNotation - A Reference Manual
- Spivey, J.M.¹

16
- 84957358115
- A corrected failure-divergence model for CSP in Isabelle/HOL
- J. Fitzgerald, C. B. Jones, and P. Lucas, editors, LNCS 1313, Springer-Verlag
- (1997) FME'97: Industrial Applications and Strengthened Foundations of Formal Methods , pp. 318-337
- Tej, H.¹ Wolff, B.²

17
- 0003537266
- Formal verification of probabilistic properties in cryptographic protocols (extended abstract)
- H. Imai, R. L. Rivest, and T. Matsumoto, editors, LNCS 739, Springer-Verlag
- (1991) Advances in Cryptology - ASIACRYPT '91 , pp. 412-426
- Toussaint, M.-J.¹

18
- 0003690988
- Deriving the complete knowledge of participants in cryptographic protocols
- J. Feigenbaum, editor, LNCS 576, Springer-Verlag
- (1992) Advances in Cryptology (CRYPTO '91) , pp. 24-43
- Toussaint, M.-J.¹

19
- 0003537268
- Separating the specification and implementation phases in cryptology
- Y. Deswarte, G. Eizenberg, and J.-J. Quisquater, editors, LNCS 648, Springer-Verlag
- (1992) European Symposium on Research in Computer Security (ESORICS '92) , pp. 77-102
- Toussaint, M.-J.¹

20
- 0020762394
- Security mechanisms in high-level network protocols
- (1983) ACM Computing Surveys , vol.15 , Issue.2 , pp. 135-171
- Voydock, V.L.¹ Kent, S.T.²

21
- 0033717446
- Properties of protection goals and their integration into a user interface
- (2000) Computer Networks , vol.32 , pp. 685-699
- Wolf, G.¹ Pfitzmann, A.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.