2687 search results - page 446 / 538 » Formal Analysis of PKCS |
157
click to vote
COORDINATION
2007
Springer
16 years 7 days ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
185
click to vote
CSR
2007
Springer
16 years 7 days ago
2007
Springer
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this pap...
154
click to vote
ESORICS
2007
Springer
16 years 7 days ago
2007
Springer
Port knocking is a technique first introduced in the blackhat and trade literature to prevent attackers from discovering and exploiting potentially vulnerable services on a networ...
116
click to vote
ESWS
2007
Springer
16 years 7 days ago
2007
Springer
The media play an important role in the functioning of our society. This role is extensively studied by Communication Scientists, requiring a systematic analysis of media content. ...
143
Voted
FMCAD
2007
Springer
16 years 7 days ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...