Learn More
We discuss the relation between program slicing and data dependencies. We claim that slicing can be defined, and therefore calculated, parametrically on the chosen notion of dependency, which implies a different result when building the program dependency graph. In this framework, it is possible to choose dependency in the syntactic or semantic sense, thus(More)
SECURITY PROPERTY: States which classes have not to interfere with other classes of objects. SECURITY PROPERTY: States which classes have not to interfere with other classes of objects. ⇓ Confinement problem[Lampson'73]: Preventing the results of computations leaking even partial information about the confidential inputs. SECURITY PROPERTY: States which(More)
A seroepidemiological survey of a group of drug abusers has been carried out to determine the prevalence of hepatitis C virus and hepatitis B virus, hepatitis D virus, hepatitis A virus infection markers in sera, as well as to evaluate the role of potential risk factors. A total of 645 symptomless subjects with a history of injecting heroin were recruited(More)
In this paper we generalize the notion of non-interference making it parametric relatively to what an attacker can analyze about the input/output information flow. The idea is to consider attackers as data-flow analyzers, whose task is to reveal properties of confidential resources by analyzing public ones. This means that no unauthorized flow of(More)
A serological study has been performed to detect the antibody response to full schedules of two anti-rabies vaccines (PDEV and HDCV). Subjects aged > 50 years, compared with subjects 11-25 years, showed significantly lower titres after the 4th dose (and, to a lesser extent, after the 5th dose), suggesting that, among the elderly, the 6th dose is strongly(More)
On the r ˆ ole of Abstract Non-Interference in Language-based Security – p.2/17 Background SECURITY PROPERTY: States which classes have not to interfere with other classes of objects. On the r ˆ ole of Abstract Non-Interference in Language-based Security – p.3/17 Background SECURITY PROPERTY: States which classes have not to interfere with other classes of(More)