Search results for "TCSEC"

Found 9 publication records. Showing 9 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
70	Marvin Schaefer	If A1 is the Answer, What was the Question? An Edgy Na?f's Retrospective on Promulgating the Trusted Computer Systems Evaluation Criteria.	ACSAC	2004	DBLP DOI BibTeX RDF
60	Kai Rannenberg, Giovanni Iachello	Protection Profiles for Remailer Mixes -Do the New Evaluation Criteria Help?	ACSAC	2000	DBLP DOI BibTeX RDF	protection profiles, remailer mixes, IT security evaluation criteria, privacy-related requirements, remailer mix networks, unobservable message transfer, ISO-ECITS, TCSEC, ITSEC, information technology, information technology, certification, privacy protection, electronic mail, data privacy, CC, evaluation criteria, user anonymity
46	Jeremy Epstein	Editorial: a view of cryptography in TCSEC products.	ACSAC	1994	DBLP DOI BibTeX RDF
23	Ninghui Li	How to make Discretionary Access Control secure against trojan horses.	IPDPS	2008	DBLP DOI BibTeX RDF
23	Sukhoon Kang, Yong-Rak Choi	A Covert Timing Channel-Free Optimistic Concurrency Control Scheme for Multilevel Secure Database Management Systems.	KES (3)	2005	DBLP DOI BibTeX RDF
23	Changda Wang 0001, Shiguang Ju	The Dilemma of Covert Channels Searching.	ICISC	2005	DBLP DOI BibTeX RDF
23	Jian Leng, DongQin Xie	A Novel Approach to Kernel Construction of China Bridge CA.	PRDC	2005	DBLP DOI BibTeX RDF
23	Zhouyi Zhou, Bin Liang, Li Jiang, Wenchang Shi, Yeping He	A Formal Description of SECIMOS Operating System.	MMM-ACNS	2005	DBLP DOI BibTeX RDF
23	Richard E. Smith	Cost profile of a highly assured, secure operating system.	ACM Trans. Inf. Syst. Secur.	2001	DBLP DOI BibTeX RDF	LOCK (Logical Coprocessing Kernel), security kernels

Displaying result #1 - #9 of 9 (100 per page; Change: )