11603 search results - page 2130 / 2321 » Securing Embedded Systems |
189
click to vote
MSWIM
2009
ACM
16 years 1 months ago
2009
ACM
Wireless sensor networks have attracted increasing attentions considering their potentials for being widely adopted in both emerging civil and military applications. A common prac...
188
Voted
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
150
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
—As networked systems grow in complexity, they are increasingly vulnerable to denial-of-service (DoS) attacks involving resource exhaustion. A single malicious input of coma can ...
162
click to vote
ISW
2009
Springer
16 years 29 days ago
2009
Springer
The frequency and severity of a number of recent intrusions involving data theft and leakages has shown that online users’ trust, voluntary or not, in the ability of third partie...
263
click to vote
OOPSLA
2009
Springer
16 years 28 days ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...