The Relation between Logic Programming and Logic Specification [and Discussion]

Autor: Kowalski, R., Jackson, M. A., Rogers, M. J., Shepherdson, J. C., Sannella, D., Lehman, M. M.

Publikováno v: Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 1984 Oct 01. 312(1522), 345-361.

Externí odkaz: https://www.jstor.org/stable/37439

Preface

Autor: Chatzigiannakis, I., Kaklamanis, C., Marx, D., Sannella, D.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3686::ab74b85d15002e9ddb9c854665460990
http://hdl.handle.net/11573/1333428

Anonymity protocols as noisy channels

Autor: Chatzikokolakis, K., Palamidessi, C., Panangaden, P., Montanari, U., Sannella, D., Bruni, R.

Publikováno v: Trustworthy Global Computing ISBN: 9783540753339
TGC
Trustworthy global computing : second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006 : revised selected papers), 281-300
STARTPAGE=281;ENDPAGE=300;TITLE=Trustworthy global computing : second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006 : revised selected papers)
2nd Symposium on Trustworthy Global Computing (TGC)
2nd Symposium on Trustworthy Global Computing (TGC), Nov 2006, Lucca, Italy. pp.281-300, ⟨10.1007/978-3-540-75336-0_18⟩
Information and Computation, 206(2-4), 378-401. Elsevier
Information and Computation
Information and Computation, 2008, 206 (2-4), pp.378--401. ⟨10.1016/j.ic.2007.07.003⟩

International audience; We consider a framework in which anonymity protocols are interpreted as noisy channels in the information-theoretic sense, and we explore the idea of using the notion of capacity as a measure of the loss of anonymity. Such ide

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e67f6877bdbb3a53d64250dfc829ef54

A framework for automatically checking anonymity with μ CRL

Autor: Chothia, T., Orzan, S.M., Pang, J., Torabi Dashti, M., Montanari, U., Sannella, D., Bruni, R.

Publikováno v: Revised Selected Papers of the Second Symposium on Trustworthy Global Computing (TGC 2006) 7-9 November 2006, Lucca, Italy, 301-318
STARTPAGE=301;ENDPAGE=318;TITLE=Revised Selected Papers of the Second Symposium on Trustworthy Global Computing (TGC 2006) 7-9 November 2006, Lucca, Italy
Trustworthy Global Computing ISBN: 9783540753339
TGC

We present a powerful and flexible method for automatically checking anonymity in a possibilistic general-purpose process algebraic verification toolset. We propose new definitions of a choice anonymity degree and a player anonymity degree, to quanti

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::856db2ca0fc9a0d96ef4fb6faddf066e
https://research.tue.nl/en/publications/db543cae-acaf-4654-9356-0f0fee7bb59e

Mobile Resource Guarantees for Smart Devices

Autor: Aspinall, D, Gilmore, S, Hofmann, M, Sannella, D, Stark, I

Publikováno v: Aspinall, D, Gilmore, S, Hofmann, M, Sannella, D & Stark, I 2005, Mobile Resource Guarantees for Smart Devices . in G Barthe, L Burdy, M Huisman, J-L Lanet & T Muntean (eds), Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers . vol. 3362, Lecture Notes in Computer Science, vol. 3362, Springer-Verlag GmbH, Berlin, pp. 1-26, International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Marseille, France, 10/03/04 . https://doi.org/10.1007/978-3-540-30569-9_1

We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached to code in the form of efficiently checkable proofs of resource bounds

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3094::134c78752fe7454e3d3ddfbfa04599bb
https://hdl.handle.net/20.500.11820/73a98d8d-3006-40ac-abbe-88ffc3ca91f1