12637 search results - page 320 / 2528 » Security for Extensible Systems |
149
click to vote
TAPSOFT
1997
Springer
15 years 10 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...
168
click to vote
USENIX
1994
15 years 8 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...
173
Voted
IJSN
2006
15 years 6 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...
203
click to vote
IJISEC
2008
15 years 5 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...
164
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
Abstract-- Wireless networks are at risk of security attacks since transmissions can be intercepted by anyone within the transmission range. Therefore participating entities should...