3482 search results - page 228 / 697 » Designing for security |
104
Voted
HASKELL
2008
ACM
15 years 3 months ago
2008
ACM
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
112
Voted
TON
2008
15 years 2 months ago
2008
Designing infrastructures that give untrusted third parties (such as end-hosts) control over routing is a promising research direction for achieving flexible and efficient communic...
128
Voted
TWC
2008
15 years 2 months ago
2008
Event boundary detection is in and of itself a useful application in wireless sensor networks (WSNs). Typically, it includes the detection of a large-scale spatial phenomenon such ...
110
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the t...
138
click to vote
APSEC
2009
IEEE
15 years 14 days 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...