6555 search results - page 1133 / 1311 » Secure attribute-based systems |
181
click to vote
MIDDLEWARE
2007
Springer
16 years 18 days ago
2007
Springer
It is widely accepted that middleware is an important architectural element which facilitates the development of software systems. In this paper we propose a novel approach for de...
154
click to vote
MODELS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
210
click to vote
PKC
2007
Springer
16 years 18 days ago
2007
Springer
At PKC 2003 Paeng, Jung, and Ha proposed a lattice based public key cryptosystem(PJH). It is originated from GGH, and designed as a hybrid of GGH and NTRUEncrypt in order to reduce...
131
click to vote
ICMCS
2006
IEEE
16 years 15 days ago
2006
IEEE
In this paper, a high-level optimization methodology is applied for the implementation of the well-known Convolutional Face Finder (CFF) algorithm for real-time applications on ce...
158
click to vote
IPPS
2006
IEEE
16 years 15 days ago
2006
IEEE
We present a novel technique to secure the execution of a processor against the execution of malicious code (trojans, viruses). The main idea is to permute parts of the opcode val...