Volume 16; Issue 6

IEEE Transactions on Software Engineering

Volume 16; Issue 6
1

A hookup theorem for multilevel security

McCullough, D.
Journal:
IEEE Transactions on Software Engineering
Year:
1990
Language:
english
File:
PDF, 599 KB
english, 1990
3

A specification and verification method for preventing denial of service

Yu, C.-F., Gligor, V.D.
Journal:
IEEE Transactions on Software Engineering
Year:
1990
Language:
english
File:
PDF, 1.27 MB
english, 1990
4

The SeaView security model

Lunt, T.F., Denning, D.E., Schell, R.R., Heckman, M., Shockley, W.R.
Journal:
IEEE Transactions on Software Engineering
Year:
1990
Language:
english
File:
PDF, 1.61 MB
english, 1990
6

ABYSS: an architecture for software protection

White, S.R., Comerford, L.
Journal:
IEEE Transactions on Software Engineering
Year:
1990
Language:
english
File:
PDF, 1.17 MB
english, 1990
7

A language for specifying program transformations

Hildum, D., Cohen, J.
Journal:
IEEE Transactions on Software Engineering
Year:
1990
Language:
english
File:
PDF, 850 KB
english, 1990
9

A model for multilevel security in computer networks

Lu, W.-P., Sundareshan, M.K.
Journal:
IEEE Transactions on Software Engineering
Year:
1990
Language:
english
File:
PDF, 1.43 MB
english, 1990
10

Memory access dependencies in shared-memory multiprocessors

Dubois, M., Scheurich, C.
Journal:
IEEE Transactions on Software Engineering
Year:
1990
Language:
english
File:
PDF, 1.51 MB
english, 1990