8828 search results - page 263 / 1766 » Formal methods in practice |
195
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...
222
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
188
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...
167
click to vote
NETGAMES
2006
ACM
16 years 18 days ago
2006
ACM
— A practical pricing mechanism is the foundation for the deploying of IP multicast in the inter-domain Internet. The IP multicast service model and its pricing mechanism are dis...
143
click to vote
APCHI
2004
IEEE
15 years 10 months ago
2004
IEEE
We interviewed 26 information architects about their work, their backgrounds and their perceptions of their roles as information architects. Our research aimed to identify and unde...