2162 search results - page 92 / 433 » A Meta-Notation for Protocol Analysis |
179
click to vote
ECRTS
2006
IEEE
16 years 14 days ago
2006
IEEE
FlexRay will very likely become the de-facto standard for in-vehicle communications. However, before it can be successfully used for safety-critical applications that require pred...
152
click to vote
WKDD
2010
CPS
16 years 1 months ago
2010
CPS
—A multi-party contract signing (MPCS) protocol allows a set of parties to exchange messages with each other to reach a state in which either each of them has a pre-agreed contra...
178
click to vote
CSFW
1999
IEEE
15 years 10 months ago
1999
IEEE
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...
158
click to vote
ESORICS
2005
Springer
15 years 12 months ago
2005
Springer
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...
159
click to vote
ESEM
2009
ACM
16 years 28 days ago
2009
ACM
The following study investigated cognitive factors involved in applying the Perspective-Based Reading (PBR) technique for defect detection in software inspections. Using the proto...