8644 search results - page 284 / 1729 » On the Composition of Secure Systems |
209
click to vote
MIDDLEWARE
2007
Springer
16 years 27 days ago
2007
Springer
We present a flexible framework for throttling attackers in peerto-peer media streaming systems. In such systems, selfish nodes (e.g., free riders) and malicious nodes (e.g., DoS ...
144
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Due to the uncertainty in the forecasting of load patterns, security dispatching finds the generation pattern, which is the most economic and passes all N − 1 contingencies ...
181
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
201
click to vote
APSEC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
185
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In most file systems, if a file is deleted, only the metadata of the file is deleted or modified and the file's data is still stored on the physical media. Some users require...