1208 search results - page 53 / 242 » Channel abstractions for network security |
164
click to vote
IH
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. This paper presents a security analysis for data hiding methods based on nested lattice codes, extending the analysis provided by previous works. The security is quanti...
179
click to vote
ESOP
2000
Springer
15 years 9 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...
156
click to vote
ICCSA
2009
Springer
16 years 1 months ago
2009
Springer
In pervasive ad-hoc networks, there is a need for devices to be able to communicate securely, despite the lack of apriori shared security associations and the absence of an infrast...
167
click to vote
SP
2007
IEEE
16 years 15 days ago
2007
IEEE
Information-flow security policies are an appealing way of specifying confidentiality and integrity policies in information systems. Most previous work on language-based securit...
149
click to vote
INTERACT
2003
15 years 7 months ago
2003
As a number of networked digital devices are ubiquitously used, control of inter-device communications becomes a complicated task. People can no longer keep track of all the device...