Vicky Weissman

Learn More
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason about policies. Because we use first-order logic, policies have a clear syntax and semantics. We show that further restricting the fragment results in a language that is still(More)
XrML is becoming a popular language in industry for writing software licenses. The semantics for XrML is implicitly given by an algorithm that determines if a permission follows from a set of licenses. We focus on a fragment of the language and use it to highlight some problematic aspects of the algorithm. We then correct the problems, introduce formal(More)
ODRL is a popular XML-based language for stating the conditions under which resources can be accessed legitimately. The language is described in English and, as a result, agreements written in ODRL are open to interpretation. To address this problem, we propose a formal semantics for a representative fragment of the language. We use this semantics to(More)
We present a logic for reasoning about licenses, which are “terms of use” for digital resources. The logic provides a language for writing both properties of licenses and specifications that govern a client’s actions. We discuss the complexity of checking properties and specifications written in our logic and propose a technique for verification. A key(More)
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the welcome page. To decide whether or not to permit this, the wise manager will consider the consequences of modifying the policies (e.g., would this allow users to bypass(More)
The ENCyclopedia Of DNA Elements (ENCODE) Project aims to identify all functional elements in the human genome sequence. The pilot phase of the Project is focused on a specified 30 megabases (È1%) of the human genome sequence and is organized as an international consortium of computational and laboratory-based scientists working to develop and apply(More)
Immunofluorescent antibodies against the intercellular material of the malpighian layer were detected in the sera of 22 of 24 patients suffering from pemphigus vulgaris. A clear-cut agreement between pretreatment antibody titers and the severity of the clinical manifestations was established only with the extreme values, i.e., patients without antibodies(More)
class Exp { Type type; abstract Exp accept(Visitor v); } class Abs extends Exp { String x; Exp e; // λx.e Exp accept(Visitor v) { e = e.accept(v); return v.visitAbs(this); } } class Visitor { Exp visitAbs(Abs a) { return a; } } class TypeChecker extends Visitor { Exp visitAbs(Abs a) { ... } } class Emitter extends Visitor { Exp visitAbs(Abs a) { print(...);(More)
Fifty patients with refractory psoriasis were treated with a combined method consisting in the application of occlusive dressings with Locacorten Tar ointment at night and of 'open' treatment (without occlusive dressings) with Locasalen ointment during the day. The aim of this trial was to obtain the benefit of the occlusive-dressing method without having(More)