6555 search results - page 168 / 1311 » Secure attribute-based systems |
TAPSOFT
1997
Springer
15 years 6 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
106
click to vote
USENIX
1994
15 years 3 months ago
1994
SNP provides a high-level abstraction for secure end-toend network communications. It supports both stream and datagram semantics with security guarantees (e.g., data originauthen...
120
click to vote
IJSN
2006
15 years 2 months ago
2006
: The pervasive availability and wide usage of wireless networks with different kinds of topologies, techniques and protocol suites have brought with them a need to improve securit...
140
click to vote
IJISEC
2008
15 years 1 months ago
2008
Abstract The use of different network security components, such as firewalls and network intrusion detection systems (NIDSs), is the dominant method to monitor and guarantee the se...
ACSAC
2000
IEEE
15 years 7 months ago
2000
IEEE
In the coming age of information warfare, information security patterns take on a more offensive than defensive stance [1]. However, most existing security systems remain passive ...