WorldCat Identities

Leonard, Elizabeth

Overview
Works: 28 works in 53 publications in 2 languages and 1,822 library holdings
Genres: Catalogs  Academic theses 
Roles: Editor, Author
Classifications: Z675.U5, 751.4
Publication Timeline
.
Most widely held works about Elizabeth Leonard
 
Most widely held works by Elizabeth Leonard
Virtually embedded : the librarian in an online environment( )

7 editions published in 2014 in English and held by 902 WorldCat member libraries worldwide

This treatment of embedded librarianship showcases strategies for successfully embedding librarians and library services across higher education. Chapters feature case studies and reports on projects from a wide variety of colleges and universities, including some surprising settings and results. In this collection, librarians are seen using the embedded model to become valuable collaborators, trusted instructors, and partners in shaping the curriculum and broad institutional goals beyond the boundaries of the library
Painting flowers by Elizabeth Leonard( Book )

8 editions published between 1986 and 1991 in English and held by 345 WorldCat member libraries worldwide

This beautiful watercolor art technique book focuses on Elizabeth Leonard's approach to painting flowers alone, in still lifes, and in gardens
Painting the landscape by Elizabeth Leonard( Book )

2 editions published in 1984 in English and held by 297 WorldCat member libraries worldwide

The Watercolorist's guide to painting water by Ferdinand Petrie( Book )

2 editions published in 1985 in English and held by 228 WorldCat member libraries worldwide

An architectural atlas of Wells County, Indiana by Craig Leonard( Book )

1 edition published in 1986 in English and held by 20 WorldCat member libraries worldwide

Feng jing by Li ao na de( Book )

1 edition published in 1986 in Chinese and held by 4 WorldCat member libraries worldwide

The Hallowed Land, and other poems by Elizabeth Leonard( Book )

3 editions published in 1957 in English and held by 4 WorldCat member libraries worldwide

This hallowed land, and other poems by Elizabeth Leonard( Book )

2 editions published between 1957 and 1959 in English and held by 4 WorldCat member libraries worldwide

Role of attribution in relation to affective dimensions by Elizabeth Leonard( Book )

2 editions published between 1993 and 2002 in English and held by 2 WorldCat member libraries worldwide

Modeling Security-Enhanced Linux Policy Specifications for Analysis (Preprint)( Book )

2 editions published in 2003 in English and held by 2 WorldCat member libraries worldwide

Security-Enhanced (SE) Linux is a modification of Linux initially released by NSA in January 2001 that provides a language for specifying Linux security policies and, as in the Flask architecture, a security server for enforcing policies defined in the language. To determine whether user requests to the operating system should be granted, the security server refers to an internal form of the policy compiled from the policy specification. Since the most convenient description of the policy for user understanding is its "source" specification in the policy language, it is natural for users to expect to be able to analyze the properties of the policy from this source specification. However, though specifications in the SE Linux policy language avoid implementation details, the policy language is very low-level, making the high level properties of a policy difficult to deduce by inspection. For this reason, tools to help users with the analysis are necessary. The goal of the NRL project on analyzing SE Linux security policies is to first use mechanized support to analyze the specification of an example policy, and then to customize this support for use by practitioners in the open source software community. This paper summarizes how we have modeled an example security policy in the analysis tool TAME, the kinds of analysis we can support, and prototype mechanical support to enable others to model example security policies in TAME
Accumulation of minerals in the avian oviduct by Elizabeth Leonard( )

2 editions published in 1968 in English and held by 2 WorldCat member libraries worldwide

Extended Abstract: Organizing Automaton Specifications to Achieve Faithful Representation( Book )

2 editions published in 2005 in English and held by 2 WorldCat member libraries worldwide

In using models for verification, an important question is how faithful a model is to the thing modeled. In 2002 and 2003, we specified two applications as automaton models: the TESLA multicast stream authentication protocol and a portion of the Security-Enhanced Linux (SELinux) operating system. Both models used a single reference variable to capture essentially all of the information about the actual state of the system. Additional state variables in the models were defined to provide access to some of the reference variable information in a form that made specifying system transitions and reasoning about the system easier. Having used the same organizational approach to advantage in defining automaton models for two different applications, we wondered if this approach would have benefits in other applications. We decided to specify the well-known IEEE 1394 leader election algorithm (Tree Identify Protocol) using this modeling technique to see if it would provide any benefit
Analyzing Security-Enhanced Linux Policy Specifications( )

1 edition published in 2003 in English and held by 1 WorldCat member library worldwide

NSA's Security-Enhanced (SE) Linux enhances Linux by providing a specification language for security policies and a Flask-like architecture with a security server for enforcing policies defined in the language. While the security server refers to an internal form of the policy compiled from the policy specification, the description of the policy most understandable to the user is its
Domestic violence : the church's response by Elizabeth Leonard( Recording )

1 edition published in 2002 in English and held by 1 WorldCat member library worldwide

A lecture given at the 2002 RHS Institute for Successful Church Leadership
Feng jing by Elizabeth Leonard( Book )

1 edition published in 1986 in Chinese and held by 1 WorldCat member library worldwide

Elizabeth Leonard : by Elizabeth Leonard( )

1 edition published in 1992 in English and held by 1 WorldCat member library worldwide

Commercials used during Leonard's campaign for the 1992 gubernatorial election in Rhode Island, Republican party
Towards a Methodology and Tool for the Analysis of Security-Enhanced Linux Security Policies( )

1 edition published in 2002 in English and held by 1 WorldCat member library worldwide

Security-Enhanced (SE) Linux, released by NSA in January 2001, is a version of Linux that adds security features by superimposing the Flask architecture on its kernel. In this architecture, a security server decides whether to grant particular subjects (i.e., processes) pernaissions to particular objects. The decisions are based on a combination of type enforcement (TE), role-based access control (RBAC), and multilevel security (MLS) rules. SE Linux includes a policy language for defining these parts of the security policy. Because the policy language forces detailed specification of which access permissions may be granted, the relation of a policy definition to high level security goals is not obvious. The length and complexity of policy definitions (thousands of rules is typical) precludes proving a high level security property by inspection. For policy analysis, tool support is clearly needed. To be effective in practice, this tool support needs to be usable by members of the open source software community. This paper reports progress made towards adapting the theorem-proving tool TAME to the analysis of SE Linux security policies, and making it usable to open source developers
An evaluation of an in-service communications skills workshop for teachers at Sylvan Intermediate School in the San Juan Unified School District by Elizabeth Leonard( )

1 edition published in 1979 in English and held by 1 WorldCat member library worldwide

Justice, gender and domestice violence plenary pt. 1 by Elizabeth Leonard( Recording )

2 editions published in 2008 in English and held by 0 WorldCat member libraries worldwide

Plenary session of the Gender and Justice Conference
Gender and justice panel questions and answers by Sheri Benvenuti( Recording )

2 editions published in 2008 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.26 (from 0.07 for Domestic v ... to 1.00 for Gender and ...)

Painting flowers
Covers
Languages