Result 1 to 16 of 16 total
A multi-tiered approach to enterprise support services. (English)
Marcus, Aaron (ed.), Design, user experience, and usability. Theory, methods, tools and practice. First international conference, DUXU 2011, held as Part of HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-21674-9/pbk). Lecture Notes in Computer Science 6769, 388-397 (2011).
1
A multi-tiered approach to enterprise support services (English)
HCI (9), 388-397 (2011).
2
An authentication model for delegation, attribution and least privilege (English)
PETRA (2010).
3
Generic support for PKIX certificate management in CDSA (English)
ACSAC, 269-275 (1999).
4
Integration of DCE and local registries: design approaches (English)
ACM Conference on Computer and Communications Security, 165-170 (1993).
5
On the Identification of Covert Storage Channels in Secure Systems. (English)
IEEE Transactions on Software Engineering 16, No.06, 569-580 (1990).
6
On the identification of covert storage channels in secure systems (English)
IEEE Trans. Software Eng. 16, No. 6, 569-580 (1990).
7
Design and implementation of secure xenix. (English)
IEEE Trans. Softw. Eng. 13, No. 02, 208-221 (1987).
8
A new security testing method and its application to the secure xenix kernel. (English)
IEEE Trans. Softw. Eng. 13, No. 02, 169-183 (1987).
9
Design and implementation of secure xenix (English)
IEEE Trans. Software Eng. 13, No. 2, 208-221 (1987).
10
A new security testing method and its application to the secure xenix kernel (English)
IEEE Trans. Software Eng. 13, No. 2, 169-183 (1987).
11
A formal method for the identification of covert storage channels in source code (English)
IEEE Symposium on Security and Privacy, 74-87 (1987).
12
On the design and the implementation of secure xenix workstations (English)
IEEE Symposium on Security and Privacy, 102-117 (1986).
13
A new security testing method and its application to the secure xenix kernel (English)
IEEE Symposium on Security and Privacy, 40-59 (1986).
14
Software specification using the SPECIAL language. (English)
J. Syst. Softw. 2, No. 1, 31-38 (1981).
15
Dat flow, abstraction levels and specifications for communications switching systems (English)
ICSE, 585-591 (1976).
16
Result 1 to 16 of 16 total