A concurrency control protocol for read-only transactions in real-time secure database systems | IEEE Conference Publication | IEEE Xplore