3811 search results - page 72 / 763 » The Safe-Tcl Security Model |
ICUMT
2009
14 years 9 months ago
2009
In the context of multiple security protocols running in the same environment, we propose a syntactical approach for identifying multi-protocol attacks. The proposed approach uses ...
CSUR
2010
14 years 9 months ago
2010
105
click to vote
ICON
2007
IEEE
15 years 6 months ago
2007
IEEE
— Security is paramount in Mobile Ad-hoc Networks (MANET) as they are not conducive to centralized trusted authorities. Several solutions have been proposed MANET in the areas of...
182
click to vote
POPL
2004
ACM
16 years 6 days ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
CSFW
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...