星球的光亮度
发表于 2025-3-25 04:29:47
Computational Probabilistic Non-interference,nt the first general definition of probabilistic non-interference in reactive systems which includes a computational case. This case is essential to cope with real cryptography since non-interference properties can usually only be guaranteed if the underlying cryptographic primitives have not been b
母猪
发表于 2025-3-25 07:31:18
http://reply.papertrans.cn/24/2339/233875/233875_22.png
arabesque
发表于 2025-3-25 11:50:46
Confidentiality Policies and Their Enforcement for Controlled Query Evaluation,information, and a controlled query evaluation should enforce such a policy even if users are able to reason about a priori knowledge and the answers to previous queries. We put the following aspects into a unifying and comprehensive framework: formal models of confidentiality . based on potential s
explicit
发表于 2025-3-25 17:03:21
Cardinality-Based Inference Control in Sum-Only Data Cubes, though OLAP systems restrict user accesses to predefined aggregations, inappropriate disclosure of sensitive attribute values may still occur. Based on a definition of non-compromiseability to mean that any member of a set of variables satisfying a given set of their aggregations can have more than
Relinquish
发表于 2025-3-25 20:33:40
Outbound Authentication for Programmable Secure Coprocessors,at coprocessor applications be able to participate as full-fledged parties in distributed cryptographic protocols. Thus, to fully enable these solutions, a generic platform must not only provide programmability, maintenance, and configuration in the hostile field —it must also provide outbound authe
Debility
发表于 2025-3-26 02:49:07
,Hamming Weight Attacks on Cryptographic Hardware — Breaking Masking Defense,a cryptographic chip, the input to this operation is combined with a random value. This has to prevent leaking information since the input to the operation is random..We show that this belief might be wrong. We present a Hamming weight attack on an addition operation. It works with random inputs to
尖
发表于 2025-3-26 08:23:06
A Fully Compliant Research Implementation of the P3P Standard for Privacy Protection: Experiences avacy policies of web sites transparent for automated agents, and thereby to improve transactions of personal data on the Internet. We look at some of the most important issues that have arisen from our development work, including problems with the privacy preference standard, APPEL, before concentra
insurrection
发表于 2025-3-26 11:25:26
http://reply.papertrans.cn/24/2339/233875/233875_28.png
话
发表于 2025-3-26 16:19:59
Analysing a Stream Authentication Protocol Using Model Checking,Efficient Stream Loss-tolerant Authentication Protocol, TESLA. This protocol differs from the standard class of authentication protocols previously analysed using model checking techniques in the following interesting way: an unbounded stream of messages is broadcast by a sender, making use of an un
有花
发表于 2025-3-26 18:54:58
http://reply.papertrans.cn/24/2339/233875/233875_30.png