Verified Order-Based Secure Concurrency Controller in Multilevel Secure Database Management Systems Yonglak SOHNSongchun MOON
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2000/05/25 Vol. E83-DNo. 5 ;
pp. 1128-1141 Type of Manuscript: PAPER Category: Applications of Information Security Techniques Keyword: multilevel security, database, concurrency control, covert channel,