Titel

Merkliste
1 Ergebnisse

Structured specification of a Security Kernel:

, In: Proceedings of the international conference on Reliable software,

Walter, K. G. ; Schaen, S. I. ; Ogden, W. F.... - p. 285-293 , 1975

Link: https://dl.acm.org/doi/10.1145/800027.808450

RT 
T1 <cTitle>Proceedings of the international conference on Reliable software</cTitle>: T1 <Title>Structured specification of a Security Kernel</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-808450&Exemplar=1&LAN=DE
				
A1 Walter, K. G.
A1 Schaen, S. I.
A1 Ogden, W. F.
A1 Rounds, W. C.
A1 Shumway, D. G.
A1 Schaeffer, D. D.
A1 Biba, K. J.
A1 Bradshaw, F. T.
A1 Ames, S. R.
A1 Gilligan, J. M.
PB ACM
YR 1975
K1 Compromise security
K1 Governmental security
K1 Model
K1 Security kernel
K1 Security system
K1 Structured programming
K1 Structured specification
K1 Security and privacy
K1 Systems security
K1 Operating systems security
K1 Software and its engineering
K1 Software creation and management
K1 Designing software
K1 Software implementation planning
K1 Software design techniques
K1 Software notations and tools
K1 General programming languages
K1 Language features
K1 Software organization and properties
K1 Contextual software domains
K1 Operating systems
K1 Software development techniques
SP 285
OP 293
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/800027.808450
DO https://dl.acm.org/doi/10.1145/800027.808450
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)