3420 search results - page 90 / 684 » A Language-Based Approach to Security |
157
click to vote
MOBIQUITOUS
2005
IEEE
15 years 12 months ago
2005
IEEE
Routing is a critical function in multi-hop mobile ad hoc networks (MANETs). A number of MANET-oriented routing protocols have been proposed, of which DSR is widely considered bot...
166
click to vote
CCS
2000
ACM
15 years 10 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
186
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
160
click to vote
IEEEARES
2008
IEEE
16 years 21 days ago
2008
IEEE
—Failure detectors are a fundamental part of safe fault-tolerant distributed systems. Many failure detectors use heartbeats to draw conclusions about the state of nodes within a ...
198
click to vote
BIOSURVEILLANCE
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Conserved regions, or motifs, present among RNA secondary structures serve as a useful indicator for predicting the functionality of the RNA molecules. Automated detectio...