Cpap155
发表于 2025-3-28 16:40:13
http://reply.papertrans.cn/24/2339/233878/233878_41.png
GIST
发表于 2025-3-28 22:21:56
Distributed proctoring,The mutual anonymity of the test takers and graders is ensured using anonymous MIXs, but an audit trail is provided in the event of a grading dispute. We discuss other applications for this protocol, more generally defined as “digital piecework.”
吹气
发表于 2025-3-28 22:59:00
Merging heterogeneous security orderings,hat all the databases comprising a mediated/federated system share the same security ordering. This assumption is often not true as the databases may have been developed independently by different agencies at different points in time. In this paper, we present techniques by which we may merge multip
散布
发表于 2025-3-29 05:37:38
http://reply.papertrans.cn/24/2339/233878/233878_44.png
手铐
发表于 2025-3-29 08:25:24
Formal semantics for authentication logics,ic by a possible-worlds semantics. The logic was designed for implementation in the tool AUTLOG and is able to handle most kinds of protocols used in practice. The underlying logic is a K45-logic, including negation. We replace the critical idealization step by changing the set of premises. The form
有角
发表于 2025-3-29 13:30:47
http://reply.papertrans.cn/24/2339/233878/233878_46.png
concert
发表于 2025-3-29 18:54:24
The impact of multilevel security on database buffer management,secure page replacement, and reader/writer synchronization. We present a client/buffer manager interface with a set of synchronization guarantees that does not delay low writers in the presence of concurrent high readers, an allocation scheme that partitions slots by security level but allows buffer
Gossamer
发表于 2025-3-29 21:08:51
http://reply.papertrans.cn/24/2339/233878/233878_48.png
葡萄糖
发表于 2025-3-30 02:58:39
http://reply.papertrans.cn/24/2339/233878/233878_49.png
诽谤
发表于 2025-3-30 08:03:07
http://reply.papertrans.cn/24/2339/233878/233878_50.png