2979 search results - page 333 / 596 » Modelling secure multiagent systems |
152
Voted
PKC
2010
Springer
15 years 6 months ago
2010
Springer
ded abstract of this paper appears in 13th International Conference on Practice and Theory in Public Key Cryptography (PKC) 2010, Lecture Notes in Computer Science Vol. ?, P. Nguye...
177
click to vote
JHSN
2006
15 years 4 months ago
2006
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard ...
213
click to vote
SOSP
2003
ACM
16 years 1 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
129
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
Current trends demonstrate an increasing use of polymorphism by attackers to disguise their exploits. The ability for malicious code to be easily, and automatically, transformed in...
122
click to vote
IEEESCC
2007
IEEE
15 years 11 months ago
2007
IEEE
Many real-life organizations are hierarchies of largely autonomous, heterogeneous members (individuals or other organizations), often exhibiting rich policies. We restrict our att...