✦ LIBER ✦

Interactive and Probabilistic Proof of Mobile Code Safety

✍ Scribed by Yasuyuki Tsukada

Book ID: 106356224
Publisher: Springer US
Year: 2005
Tongue: English
Weight: 958 KB
Volume: 12
Category: Article
ISSN: 0928-8910
DOI: 10.1007/s10515-005-6207-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Interactive and probabilistic proof-chec

Interactive and probabilistic proof-checking

✍ Luca Trevisan 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 112 KB

The notion of e cient proof-checking has always been central to complexity theory, and it gave rise to the deÿnition of the class NP. In the last 15 years there has been a number of exciting, unexpected and deep developments in complexity theory that exploited the notion of randomized and interactiv

Enforcing Security and Safety with Proof

Enforcing Security and Safety with Proof-Carrying Code

✍ George C. Necula 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 608 KB

Analysis of Uncertainties in Interactive

Analysis of Uncertainties in Interactive Probabilistic Safety Analysis (PSA) Models

✍ Henrique M. Paula; David J. Campbell; Vernon H. Guthrie 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 799 KB

A probabilistic logic for the developmen

A probabilistic logic for the development of safety-critical, interactive systems

✍ C.W. Johnson 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 704 KB

This paper starts from the premise that the human contribution to risk must be assessed during the development of safety-critical systems. In contrast to previous approaches, discrete numerical values are rejected as means of quantifying the probability of operator "error" for many different users o

Proof of efficacy and safety

✍ William E. Jones 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 90 KB

Generalization and Probabilistic Proof o

Generalization and Probabilistic Proof of a Combinatorial Identity

✍ Guisong Chang and Chen Xu 📂 Article 📅 2011 🏛 Mathematical Association of America 🌐 English ⚖ 151 KB