2137 search results - page 209 / 428 » Proving Abstract Non-interference |
124
click to vote
ISHPC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Simultaneous Multithreading (SMT) tolerates latency by executing instructions from multiple threads. If a thread is stalled, resources can be used by other threads. Howev...
157
Voted
WOLLIC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The intruder deduction problem for an electronic purse protocol with blind signatures is considered. The algebraic properties of the protocol are modeled by an equational...
133
Voted
CSFW
2002
IEEE
15 years 8 months ago
2002
IEEE
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...
113
click to vote
DSD
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper we describe a methodology for the formal verification of a DSP chip using the HOL theorem prover. We used an iterative method to specify both the behavioral and stru...
114
Voted
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract: This paper considers the global exponential stability of planar distributed manipulation control schemes. The “programmable vector field” approach is a commonly prop...