2257 search results - page 177 / 452 » Secure program partitioning |
122
click to vote
DATE
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
121
click to vote
DCC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper deals with generic transformations from ID-based key encapsulation mechanisms (IBKEM) to hybrid public-key encryption (PKE). The best generic transformation known until...
108
click to vote
JAIR
1998
15 years 17 days ago
1998
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...
ASIACRYPT
2000
Springer
15 years 5 months ago
2000
Springer
The mobile agent is a fundamental building block of the mobile computing paradigm. In mobile agent security, oblivious transfer (OT) from a trusted party can be used to protect th...
151
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In a multi-hop mobile ad hoc network (MANET) mobile nodes communicate with each other forming a cooperative radio network. Security remains a major challenge for these networks du...