Titlebook: Network and System Security; 6th International Co Li Xu,Elisa Bertino,Yi Mu Conference proceedings 2012 Springer-Verlag Berlin Heidelberg 2

谦虚的人

On the Automated Analysis of Safety in Usage Control: A New Decidability Resultr the decidability of the safety problem for UCON systems whose attributes are allowed to range over infinite domains and updates in one process may affect the state of another. Our result is a significant generalization of those available in the literature.

GEAR

Barrister

eardrum

果仁

Identifying OS Kernel Objects for Run-Time Security Analysisurate understanding of kernel dynamic data layout in memory becomes crucial. In this paper, we address the problem of systemically uncovering all OS dynamic kernel runtime objects, without any prior knowledge of the OS kernel data layout in memory. We present a new hybrid approach to uncover kernel

哭得清醒了

inspired

著名

Proxy Signature Scheme Based on Isomorphisms of Polynomialsed on the hardness of integer factoring, discrete logarithm, and/or elliptic curve. However, Shor proved that the emerging quantum computers can solve the problem of prime factorization and discrete logarithm in polynomial-time, which threatens the security of current RSA, ElGamal, ECC, and the prox

吸气

Universal Designated Verifier Signcryption of a signer, to convince a designated verifier that he is in possession of a signer’s signature, while the verifier cannot transfer such conviction to anyone else. In existing designs of UDVS, a secure channel is required between the signer and the signature holder for signature transmission. In th

熔岩