Secure information flow via stripping and fast simulation

Type systems for secure information flow aim to prevent a program from leaking information from H (high) to L (low) variables. Traditionally, bisimulation has been the prevalent technique for proving the soundness of such systems. This work introduces a new proof technique based on stripping and fast simulation, and shows that it can be applied in a number of cases where bisimulation fails. We present a progressive development of this technique over a representative sample of languages including a simple imperative language (core theory), a multiprocessing nondeterministic language, a probabilistic language, and a language with cryptographic primitives. In the core theory we illustrate the key concepts of this technique in a basic setting. A fast low simulation in the context of transition systems is a binary relation where simulating states can match the moves of simulated states while maintaining the equivalence of low variables; stripping is a function that removes high commands from programs. We show that we can prove secure information flow by arguing that the stripping relation is a fast low simulation. We then extend the core theory to an abstract distributed language under a nondeterministic scheduler. Next, we extend to a probabilistic language with a random assignment command; we generalize fast simulation to the setting of discrete time Markov Chains, and prove approximate probabilistic noninterference. Finally, we introduce cryptographic primitives into the probabilistic language and prove computational noninterference, provided that the underling encryption scheme is secure.

The use of computer graphic organizers for narrative writing by elementary school students with Specific Learning Disabilities

Writing is an academic skill critical to students in today's schools as it serves as a predominant means for demonstrating knowledge during school years (Graham, 2008). However, for many students with Specific Learning Disabilities (SLD), learning to write is a challenging, complex process (Lane, Graham, Harris, & Weisenbach, 2006). Students SLD have substantial writing challenges related to the nature of their disability (Mayes & Calhoun, 2005). ^ This study investigated the effects of computer graphic organizer software on the narrative writing compositions of four, fourth- and fifth-grade, elementary-level boys with SLD. A multiple baseline design across subjects was used to explore the effects of the computer graphic organizer software on four dependent variables: total number of words, total planning time, number of common story elements, and overall organization. ^ Prior to baseline, participants were taught the fundamentals of narrative writing. Throughout baseline and intervention, participants were read a narrative writing prompt and were allowed up to 10 minutes to plan their writing, followed by 15 minutes for writing, and 5 minutes of editing. During baseline, all planning was done using paper and pencil. During intervention, planning was done on the computer using a graphic organizer developed from the software program Kidspiration 3.0 (2011). All compositions were written and editing was done using paper and pencil during baseline and intervention. ^ The results of this study indicated that to varying degrees computer graphic organizers had a positive effect on the narrative writing abilities of elementary aged students with SLD. Participants wrote more words (from 54.74 to 96.60 more), planned for longer periods of time (from 4.50 to 9.50 more minutes), and included more story elements in their compositions (from 2.00 to 5.10 more out of a possible 6). There were nominal to no improvements in overall organization across the 4 participants. ^ The results suggest that teachers of students with SLD should considering use computer graphic organizers in their narrative writing instruction, perhaps in conjunction with remedial writing strategies. Future investigations can include other types of writing genres, other stages of writing, participants with varied demographics and their use combined with remedial writing instruction. ^

Recognizing the Value of Teaching Proverbs: Multicultural Origins of Oral and Written Literacy

The purpose of this paper is to explore the use of multicultural proverbs in interdisciplinary and cross-cultural instruction through the language arts, history and social sciences. Educators can use proverbs to engage students in learning, enhance their understanding of other cultures and languages, and promote a globally-sensitive community.

Differential outcomes of two -way and transitional programs on English language learners at different entry levels

This study investigated the effects of two types of bilingual education programs (two-way and transitional) on the academic performance, attitudes, and metacognitive awareness of 5th grade students who entered kindergarten or first grade with different levels of English proficiency. The multi-stage sample consisted of students who had participated in each program for a period of at least five years. A mixed model design allowed for the collection of quantitative and qualitative data that were analyzed accordingly and integrated. ^ The findings indicated no significant differences between the two groups on measures of academic achievement in English. Significant differences were found in the number of semesters required for the students to become proficient English speakers. An important conclusion, based on these findings, was that the students enrolled in the two-way bilingual education (TWBE) programs learned English faster. Moreover, they maintained a high level of proficiency in Spanish, scoring significantly higher than the transitional bilingual education group on measures of Spanish reading ability.^ Questionnaire and interview data indicated that the students in the two-way bilingual education programs tended to use more Spanish for recreational purposes and tended to rate themselves as more proficient Spanish speakers than their peers. Conversely, the students enrolled in the transitional bilingual education programs tended to rate themselves as more proficient in English than their peers. ^ The level of English language proficiency upon entering school (five years later) was found to make a difference in academic achievement, as measured by standardized tests. Five years of schooling did not fully eliminate the gap in academic performance between students with different ESOL entry levels at kindergarten. However, entry level did not have an effect on attitudes towards bilingualism. ^ It is concluded that, although there was no significant difference between the two groups on measures of academic achievement in English, TWBE and transitional programs have differential effects. Students in the TWBE programs acquired oral language at a faster rate, developed literacy skills in their native language, and acquired more positive attitudes towards bilingualism. Theoretical, methodological, and policy implications of the findings are discussed. ^

The relationship between the use of Academic Text Talk and the comprehension of scientific academic language for diverse second graders

Changing demographics impact our schools as children come from more linguistically and culturally diverse backgrounds. The various social, cultural, and economic backgrounds of the students affect their early language learning experiences which expose them to the academic language needed to succeed in school. Teachers can help students acquire academic language by introducing words that are within their Zone of Proximal Development and increasing exposure to and use of academic language. This study investigated the effects of increasing structured activities for students to orally interact with informational text on their scientific academic language development and comprehension of expository text. ^ The Academic Text Talk activities, designed to scaffold verbalization of new words and ideas, included discussion, retelling, games, and sentence walls. This study also evaluated if there were differences in scientific language proficiency and comprehension between boys and girls, and between English language learners and native English speakers. ^ A quasi-experimental design was used to determine the relationship between increasing students' oral practice with academic language and their academic language proficiency. Second graders (n = 91) from an urban public school participated in two science units over an 8 week period and were pre and post tested using the Woodcock Muñoz Language Survey-Revised and vocabulary tests from the National Energy Education Project. Analysis of covariance was performed on the pre to post scores by treatment group to determine differences in academic language proficiency for students taught using Academic Text Talk compared to students taught using a text-centered method, using the initial Florida Assessment for Instruction in Reading test as a covariate. Students taught using Academic Text Talk multimodal strategies showed significantly greater increases in their pre to posttest means on the Woodcock Muñoz Language Survey-Revised Oral Language Totals and National Energy Education Development Project Vocabulary tests than students taught using the text-centered method, ps < .05. Boys did not show significantly greater increases than girls, nor did English language learners show significantly greater increases than the native English speakers. ^ This study informs the field of reading research by evaluating the effectiveness of a multimodal combination of strategies emphasizing discourse to build academic language.^

The Effectiveness of Explicit Individualized Phonemic Awareness Instruction By a Speech-Language Pathologist to Preschool Children With Phonological Speech Disorders

This study investigated the effects of an explicit individualized phonemic awareness intervention administered by a speech-language pathologist to 4 prekindergarten children with phonological speech sound disorders. Research has demonstrated that children with moderate-severe expressive phonological disorders are at-risk for poor literacy development because they often concurrently exhibit weaknesses in the development of phonological awareness skills (Rvachew, Ohberg, Grawburg, & Heyding, 2003). The research design chosen for this study was a single subject multiple probe design across subjects. After stable baseline measures, the participants received explicit instruction in each of the three phases separately and sequentially. Dependent measures included same-day tests for Phase I (Phoneme Identity), Phase II (Phoneme Blending), and Phase III (Phoneme Segmentation), and generalization and maintenance tests for all three phases. All 4 participants made substantial progress in all three phases. These skills were maintained during weekly and biweekly maintenance measures. Generalization measures indicated that the participants demonstrated some increases in their mean total number of correct responses in Phase II and Phase III baseline while the participants were in Phase I intervention, and more substantial increases in Phase III baseline while the participants were in Phase II intervention. Increased generalization from Phases II to III could likely be explained due to the response similarities in those two skills (Cooper, Heron, & Heward, 2007). Based upon the findings of this study, speech-language pathologists should evaluate phonological awareness in the children in their caseloads prior to kindergarten entry, and should allocate time during speech therapy to enhance phonological awareness and letter knowledge to support the development of both skills concurrently. Also, classroom teachers should collaborate with speech-language pathologists to identify at-risk students in their classrooms and successfully implement evidence-based phonemic awareness instruction. Future research should repeat this study including larger groups of children, children with combined speech and language delays, children of different ages, and ESOL students