3420 search results - page 90 / 684 » A Language-Based Approach to Security |
123
Voted
MOBIQUITOUS
2005
IEEE
15 years 9 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...
134
Voted
CCS
2000
ACM
15 years 8 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 ...
153
Voted
CCS
2008
ACM
15 years 5 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...
129
click to vote
IEEEARES
2008
IEEE
15 years 10 months 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 ...
162
Voted
BIOSURVEILLANCE
2007
Springer
15 years 9 months 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...