101 search results - page 13 / 21 » A User Interface for a Game-Based Protocol Verification Tool |
ACSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
We address the problem of confidentiality in scenarios where the attacker is not only able to observe the communication between principals, but can also fully compromise the commu...
ISMB
1998
13 years 9 months ago
1998
Existing query interfaces for biological databases are either based on fixed forms or textual query languages. Users of a fixed form-based query interface are limited to performin...
IUI
2004
ACM
14 years 1 months ago
2004
ACM
Complex applications in many areas, including scientific computations and business-related web services, are created from collections of components to form workflows. In many case...
ACSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
The IPsec protocol provides a mechanism to enforce a range of security services for both confidentiality and integrity, enabling secure transmission of information across networks...
BMCBI
2006
13 years 7 months ago
2006
Background: In the fly Drosophila melanogaster, new genetic, physiological, molecular and behavioral techniques for the functional analysis of the brain are rapidly accumulating. ...