11603 search results - page 2103 / 2321 » Embedded System Security |
152
click to vote
MODELS
2007
Springer
16 years 17 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...
209
click to vote
PKC
2007
Springer
16 years 17 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...
157
click to vote
IPPS
2006
IEEE
16 years 14 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...
171
click to vote
IRI
2006
IEEE
16 years 14 days ago
2006
IEEE
Component interoperability is the ability of two or more components to cooperate despite their differences in functional and non-functional aspects such as security or performanc...
147
click to vote
IROS
2006
IEEE
16 years 14 days ago
2006
IEEE
– Mobile robots operating in home environments must deal with constrained space and a great variety of obstacles and situations to handle. This article presents a pilot study aim...