A framework for security assurance of access control enforcement code (English)
- New search for: Pavlich-Mariscal, Jaime A.
- New search for: Demurjian, Steven A.
- New search for: Michel, Laurent D.
- New search for: Pavlich-Mariscal, Jaime A.
- New search for: Demurjian, Steven A.
- New search for: Michel, Laurent D.
In:
Computers and Security
;
29
, 7
;
770-784
;
2010
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:A framework for security assurance of access control enforcement code
-
Contributors:Pavlich-Mariscal, Jaime A. ( author ) / Demurjian, Steven A. ( author ) / Michel, Laurent D. ( author )
-
Published in:Computers and Security ; 29, 7 ; 770-784
-
Publisher:
- New search for: Elsevier Ltd
-
Publication date:2010-03-26
-
Size:15 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 29, Issue 7
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.
- 729
-
EditorialSpafford, Eugene H. et al. | 2010
- 731
-
Ethical decision making: Improving the quality of acceptable use policiesRuighaver, A.B. / Maynard, S.B. / Warren, M. et al. | 2010
- 737
-
Network anomaly detection through nonlinear analysisPalmieri, Francesco / Fiore, Ugo et al. | 2010
- 756
-
Efficient hardware support for pattern matching in network intrusion detectionGuinde, Nitesh B. / Ziavras, Sotirios G. et al. | 2010
- 770
-
A framework for security assurance of access control enforcement codePavlich-Mariscal, Jaime A. / Demurjian, Steven A. / Michel, Laurent D. et al. | 2010
- 785
-
Approach for selecting the most suitable Automated Personal Identification Mechanism (ASMSA)Palmer, Anthony J. et al. | 2010
- 807
-
IFIP TCII - Aims, Scope and Technical Committee| 2010
- IFC
-
IFC - Editorial Board| 2010
- iii
-
Contents| 2010