2257 search results - page 184 / 452 » Secure program partitioning |
83
Voted
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
116
click to vote
AICCSA
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
122
Voted
MICRO
2003
IEEE
15 years 6 months ago
2003
IEEE
Due to the widespread software piracy and virus attacks, significant efforts have been made to improve security for computer systems. For stand-alone computers, a key observation...
112
click to vote
JCM
2008
15 years 24 days ago
2008
Abstract--Mobile Agents is a new paradigm for distributed computing where security is very essential to the acceptance of this paradigm in a large scale distributed environment. In...
123
Voted
TCS
2008
15 years 21 days ago
2008
Multicast and broadcast are efficient ways to deliver messages to a group of recipients in a network. Due to the growing security concerns in various applications, messages are oft...