DePaul University

About: DePaul University is a education organization based out in Chicago, Illinois, United States. It is known for research contribution in the topics: Population & Poison control. The organization has 5658 authors who have published 11562 publications receiving 295257 citations.

Authenticity by typing for security protocols

Abstract: We propose a new method to check authenticity properties of cryptographic protocols. First, code up the protocol in the spi-calculus of Abadi and Gordon. Second, specify authenticity properties by annotating the code with correspondence assertions in the style of Woo and Lam. Third, figure out types for the keys, nonces, and messages of the protocol. Fourth, check that the spi-calculus code is well-typed according to a novel type and effect system presented in this paper. Our main theorem guarantees that any well-typed protocol is robustly safe, that is, its correspondence assertions are true in the presence of any opponent expressible in spi.

Probability and Mode of Acquisition Effects on Choices Between Hedonic and Utilitarian Options

Abstract: We examine the effects of probability and mode of acquisition on choices between hedonic and utilitarian alternatives. The results suggest that the lower the probability of receiving the selected item, the more likely individuals will be to choose the more hedonic alternative in a choice set. Mode of acquisition (i.e., whether subjects are choosing in a windfall or a standard purchase situation) is also found to affect preferences, even when probability of acquisition is held constant. Hedonic options appear to be more popular as prizes than as purchases, whereas utilitarian options appear to be more popular as purchases than as prizes.

Verifying security protocols with Brutus

Abstract: Due to the rapid growth of the “Internet” and the “World Wide Web” security has become a very important concern in the design and implementation of software systems. Since security has become an important issue, the number of protocols in this domain has become very large. These protocols are very diverse in nature. If a software architect wants to deploy some of these protocols in a system, they have to be sure that the protocol has the right properties as dictated by the requirements of the system. In this article we present BRUTUS, a tool for verifying properties of security protocols. This tool can be viewed as a special-purpose model checker for security protocols. We also present reduction techniques that make the tool efficient. Experimental results are provided to demonstrate the efficiency of BRUTUS.

Digital Youth Divas: Exploring Narrative-Driven Curriculum to Spark Middle School Girls’ Interest in Computational Activities

Abstract: Women use technology to mediate numerous aspects of their professional and personal lives. Yet, few design and create these technologies given that women, especially women of color, are grossly underrepresented in computer science and engineering courses. Decisions about participation in STEM are frequently made prior to high school, and these decisions are impacted by prior experience, interest, and sense of fit with community. Digital Youth Divas is an out-of-school program that uses narrative stories to launch the creation of digital artifacts and support non-dominant middle school girls’ STEM interests and identities through virtual and real-world community. In this article, we discuss the framework of the Digital Youth Divas environment, including our approach to blending narratives into project-based design challenges through on- and offline mechanisms. Results from our pilot year, including the co-design process with the middle school participants, suggest that our narrative-centered, blended learn...

Innovative attitudes, values, and intentions in organizations [1]

Abstract: In this paper we explore the relationships between some of the various concepts and scales that have been used to characterize innovative attitudes and behaviours. A sample (N = 123) of undergraduate and graduate business students with full-time jobs or the equivalent provided questionnaire data to test two initial hypotheses. It was found that four attitude-value scales which have been used to measure change values, innovation orientation, readiness for change, and innovativenesss, are intercorrelated significantly when no distinction is made between the respondents’intentions to be innovative and respondents’actual innovative behaviour. Innovative and change attitudes, as measured by these same four scales, do consistently predict multiple innovative intentions and behaviours but not, as expected, single behaviours or single intentions. The single best predictor in a multiple regression of the combined multiple innovative intention-behaviour measure was found to be a creative scale (R2= 0.43, p < 0.01). The innovative behaviour scale was tentatively called attitude toward being innovative. A factor analysis of this scale revealed dimensions related to innovative behaviour in organizations: the innovator, the preserver of the status quo, and the unchallenged, dissatisfied person. Two other hypotheses were also tested. The first was that the perceived organization risk-taking climate would moderate the relationship between these attitude measures. This hypothesis was not supported by the overall results. However, moderate support was found for the hypothesis that the more formal authority a person has in an organization, the greater the consistency between change attitudes and innovative behaviours as measured by self-report methods.