7 search results - page 2 / 2 » Static Analysis with Set-Closure in Secrecy |
ESOP
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
ENTCS
2006
13 years 9 months ago
2006
In ad-hoc networks, autonomous wireless nodes can communicate by forwarding messages for each other. For routing protocols in this setting, it is known that a malicious node can p...