431 search results - page 56 / 87 » Using Formal Methods to Reason about Architectural Standards |
145
click to vote
IJCAI
2007
15 years 5 months ago
2007
We evaluate a new hybrid language processing approach designed for interactive applications that maintain an interaction with users over multiple turns. Specifically, we describe ...
134
Voted
MMMACNS
2005
Springer
15 years 9 months ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
151
click to vote
TARK
2007
Springer
15 years 9 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
135
Voted
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
137
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...