WorldCat Identities

Heydon, Allan

Overview
Works: 12 works in 30 publications in 1 language and 467 library holdings
Classifications: QA76.76.C69, 005.1
Publication Timeline
Key
Publications about  Allan Heydon Publications about Allan Heydon
Publications by  Allan Heydon Publications by Allan Heydon
Most widely held works by Allan Heydon
Software configuration management using Vesta by Allan Heydon ( )
10 editions published in 2006 in English and held by 396 WorldCat member libraries worldwide
The Juno-2 constraint-based drawing editor by Allan Heydon ( Book )
4 editions published between 1994 and 1995 in English and held by 22 WorldCat member libraries worldwide
Miró : visual specification of security by Allan Heydon ( Book )
3 editions published in 1989 in English and held by 9 WorldCat member libraries worldwide
Abstract: "Miró is a set of languages and tools that support visual specification of file system security. We describe two visual languages: the instance language which allows specification of file system access, and the constraint language which allows specification of security policies. We present the syntax and semantics of these languages, and discuss some novel algorithms that efficiently check for properties, e.g., ambiguity, of instance pictures. We also describe the implementation of our tools and give examples of how the languages can be applied to real security specification problems."
An introduction to circuit complexity and a guide to Håstad's proof by Allan Heydon ( Book )
3 editions published in 1990 in English and held by 8 WorldCat member libraries worldwide
These ideas are the b̀uilding blocks' of the proof itself. A brief history of related result is given. Then, an intuitive description of the proof and a r̀oad map' of its structure (which has several levels and branches) are presented to provide an overall gist of what is going on behind the formal mathematics which follow. The heart of the proof is the so-called S̀witching Lemma', which is given considerable attention. The main result and a corollary are then stated and proven."
The Juno-2 constraint-based drawing editor by Allan Heydon ( Visual )
1 edition published in 1995 in English and held by 7 WorldCat member libraries worldwide
Demonstrates applications of Juno-2
Miró tools by Allan Heydon ( Book )
2 editions published in 1989 in English and held by 6 WorldCat member libraries worldwide
Abstract: "Miró provides a visual way to specify security configurations. It consists of two visual specification languages, the instance language and the constraint language. This paper describes the current Miró tool support. What makes some of these tools particularly novel are the non-trivial algoritms implemented to check for properties such as ambiguity. What makes the overall design of our Miró environment particularly interesting and useful for prototyping is the loosely-coupled way in which the individual tools interact."
Constraining pictures with pictures by Allan Heydon ( Book )
2 editions published in 1988 in Undetermined and English and held by 6 WorldCat member libraries worldwide
Processing visual specifications of file system security by Allan Heydon ( Book )
1 edition published in 1992 in English and held by 3 WorldCat member libraries worldwide
Our thesis is that visual languages can be practical and useful, even on a large scale, if they are targeted to sufficiently restricted domains of interest. We focus on two different aspects of the security domain. First, we use the instance language to specify security configurations, that is, fixed access relationships between users and files on a file system. Since these specifications can be both read and written, they give users the ability to determine the access rights granted on their files and to modify those rights. Second, we use the constraint language to specify security policies, each of which determines a (possibly infinite) set of legal configurations
The Vesta software configuration management system ( Book )
1 edition published in 2002 in English and held by 3 WorldCat member libraries worldwide
The Vesta approach to software configuration management ( Book )
1 edition published in 2001 in English and held by 3 WorldCat member libraries worldwide
High-performance web crawling by Marc A Najork ( Book )
1 edition published in 2001 in English and held by 3 WorldCat member libraries worldwide
Software configuration management system using VESTA by Rich Levin ( Book )
1 edition published in 2006 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.76 (from 0.47 for Software c ... to 0.98 for The Juno-2 ...)
Languages
English (29)
Covers