RSS
Contact
Publications
Press
Photos-videos
Bonus Sans Depot Casino
Nouveau Casino En Ligne 2025
Homepage
About the Joint Centre
Overview
Highlights
Timeline
Research Areas & Projects
Research Areas
Computer Vision and Medical Imaging
Formal Methods for Mathematics, Distributed Systems and Security
Machine Learning & Big Data
Social Information Networks and Privacy
More
Projects
colonne 1
4D Cardiac MR Images
A-Brain
Adaptative Combinatorial Search for E-science
Interactive Network Visualization
Mathematical Components
ReActivity
Privacy-Friendly Services and Apps
Structured Large Scale Machine Learning
colonne 2
Dynamic Dictionary of Mathematical Functions
Information Flows in Online Social Networks
Scientific Image and Video Mining
Secure Distributed Computations and their Proofs
Tools for Proofs
White-Box Search-Based Software Engineering
Z-CloudFlow: Data Workflows in the Cloud
More
Researchers
News & Events
News
Events
Conferences & Workshops
Open Positions
Overview
Microsoft Research Inria Joint Centre
26 March 2014
ACM Turing Award goes to Leslie Lamport
Home
>
2007
>
April
Monthly Archives:
April, 2007
Categories
News
Events
Conferences & Workshops
April 2007
M
T
W
T
F
S
S
« Mar
May »
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
Share:
A
A
16 April 2007
A Type Discipline for Authorization in Distributed Systems, Sergio Maffeis, Imperial College
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may be compromised, that is, some nodes of the system and their security credentials may be under the control of an attacker. To help predict and.. ...
More
Page 1 of 1
1
