Towards Provably-Secure Timed E-Commerce: The Trusted Delivery Layer

Certified exchange of messages is an essential mechanism for e-commerce; the timing aspects (timeouts and timestamps) are very important for practical applications. However existing formal methods for security analysis assume simplified completely synchronous or completely asynchronous models, and cannot deal with the timing aspects of these (and other e-commerce) protocols. We present model for realistic, Δ-synchronized adversarial settings. We then present a simple, efficient and provably-secure protocol for certified, time-stamped message delivery, providing precise guarantees of delay and timestamps. Our model and analysis use concrete (rather than asymptotic) notions of security

Neuroinformatics and sharing data from medical imaging systems

Předložená diplomová práce se zabývá problematikou skladování a sdílení primárních neurozobrazovacích dat. Práce obsahuje mj. organizační a informatické aspekty sdílení obrazových dat v multicentrických studiích s obrazy mozku z magnetické rezonance. Součástí práce je technické řešení sdílení dat včetně návrhu webového rozhraní pro práci s obrazovými daty v databázi.The presented master's thesis deals with the issue of storing and sharing data from medical imaging systems. This thesis, inter alia, consists of organizational and informatics aspects of medical imaging systems data in multicentric studies containing MRI brain images. This thesis also includes technical design of a web-based application for image data sharing including a web interface suitable for manipulation with the image data stored in a database.

SecAdvise : un aviseur de mécanismes de sécurité

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal