2137 search results - page 313 / 428 » Proving Abstract Non-interference |
203
Voted
AMIRE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract— Climbing is a challenging task for autonomous mobile robots primarily due to requirements for agile locomotion, and high maneuverability as well as robust and efficient...
119
click to vote
ASIACRYPT
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We first propose the notion of universally anonymizable publickey encryption. Suppose that we have the encrypted data made with the same security parameter, and that the...
115
Voted
ATVA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
120
Voted
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...
111
click to vote
CASSIS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...