3429 search results - page 557 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
104
click to vote
COMCOM
2000
15 years 2 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
113
Voted
ESORICS
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. This paper explores the problem of tracking information flow in dynamic tree structures. Motivated by the problem of manipulating the Document Object Model (DOM) trees by...
124
Voted
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
Motivated by the challenging task of designing “secure” vote storage mechanisms, we study information storage mechanisms that operate in extremely hostile environments. In suc...
102
Voted
DLT
2008
15 years 4 months ago
2008
We consider multi-pushdown automata, a multi-stack extension of pushdown automata that comes with a constraint on stack operations: a pop can only be performed on the first non-emp...
131
Voted
CONCUR
2009
Springer
15 years 11 days ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...