The Experts below are selected from a list of 133680 Experts worldwide ranked by ideXlab platform

Cathleen S. Soundy - One of the best experts on this subject based on the ideXlab platform.

  • Young Children’s Imaginative Play: Is It Valued in Montessori Classrooms?
    Early Childhood Education Journal, 2009
    Co-Authors: Cathleen S. Soundy
    Abstract:

    The main purpose of this article is to describe the nature of imaginary play in Montessori classrooms. A transcript from a train ride shows how young children imagine and recreate ideas from their real world experiences and weave them into original new accounts. The author discusses how the play-like action of dramatizing The Caboose Who Got Loose is highly motivating for young children. An Informal Analysis provides the reader with important insights into the way children see and think about the world. The play episode observed in this study appears as a microcosm of the larger Montessori culture, reflecting the spirit of kindness and respect that permeates Montessori Schools.

  • Young Children's Imaginative Play: Is It Valued in Montessori Classrooms?.
    Early Childhood Education Journal, 2008
    Co-Authors: Cathleen S. Soundy
    Abstract:

    The main purpose of this article is to describe the nature of imaginary play in Montessori classrooms. A transcript from a train ride shows how young children imagine and recreate ideas from their real world experiences and weave them into original new accounts. The author discusses how the play-like action of dramatizing The Caboose Who Got Loose is highly motivating for young children. An Informal Analysis provides the reader with important insights into the way children see and think about the world. The play episode observed in this study appears as a microcosm of the larger Montessori culture, reflecting the spirit of kindness and respect that permeates Montessori Schools.

Jeff Kramer - One of the best experts on this subject based on the ideXlab platform.

  • Restructuring requirements specifications
    IEE Proceedings - Software, 1999
    Co-Authors: Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
    Abstract:

    This paper describes the restructuring of multi-perspective requirements specifications to facilitate the identification and Analysis of inconsistencies and the management of change. A partial, heterogeneous and reasonably large requirements specification from a NASA project is analysed and decomposed into a structure of viewpoints, where each viewpoint encapsulates partial requirements of some system components described in the specification. Relationships between viewpoints are identified and include, not only the interactions explicitly stated in the requirements, but also some implicit and potentially problematic inter-dependencies. The restructuring process and a first Informal Analysis of the resulting relationships enable the detection of inconsistencies and the definition of some interesting domain-dependent consistency rules. It is believed that this restructuring into viewpoints also facilitates requirements understanding through partitioning, and requirements maintenance and evolution through explicit identification of the inter-viewpoint relationships.

  • ICRE - Restructuring requirements specifications for managing inconsistency and change: a case study
    Proceedings of IEEE International Symposium on Requirements Engineering: RE '98, 1
    Co-Authors: Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
    Abstract:

    The paper describes our experiences in restructuring multi perspective requirements specifications in order to identify and analyse inconsistencies and manage change. A partial, heterogeneous and reasonably large requirements specification from a NASA project was analysed and decomposed into a structure of "viewpoints", where each viewpoint encapsulates partial requirements of some system components described in the specification. Relationships between viewpoints were identified which included not only the interactions explicitly stated in the requirements but also some implicit and potentially problematic inter dependencies. The restructuring process and a first Informal Analysis of the resulting relationships enabled the detection of inconsistencies and the definition of some interesting domain dependent consistency rules. We believe that this restructuring into view points also facilitated requirements understanding through partitioning, and requirements maintenance and evolution through explicit identification of the inter viewpoint relationships.

Andrew D. Gordon - One of the best experts on this subject based on the ideXlab platform.

  • LPAR - Automating Type Soundness Proofs via Decision Procedures and Guided Reductions
    Logic for Programming Artificial Intelligence and Reasoning, 2002
    Co-Authors: Don Syme, Andrew D. Gordon
    Abstract:

    Operational models of fragments of the Java Virtual Machine and the .NET Common Language Runtime have been the focus of considerable study in recent years, and of particular interest have been specifications and machine-checked proofs of type soundness. In this paper we aim to increase the level of automation used when checking type soundness for these formalizations. We present a semi-automated technique for reducing a range of type soundness problems to a form that can be automatically checked using a decidable first-order theory. Deciding problems within this fragment is exponential in theory but is often efficient in practice, and the time required for proof checking can be controlled by further hints from the user. We have applied this technique to two case studies, both of which are type soundness properties for subsets of the .NET CLR. These case studies have in turn aided us in our Informal Analysis of that system.

  • Automating type soundness proofs via decision procedures and guided reductions
    Lecture Notes in Computer Science, 2002
    Co-Authors: Don Syme, Andrew D. Gordon
    Abstract:

    Operational models of fragments of the Java Virtual Machine and the.NET Common Language Runtime have been the focus of considerable study in recent years, and of particular interest have been specifications and machine-checked proofs of type soundness. In this paper we aim to increase the level of automation used when checking type soundness for these formalizations. We present a semi-automated technique for reducing a range of type soundness problems to a form that can be automatically checked using a decidable first-order theory. Deciding problems within this fragment is exponential in theory but is often efficient in practice, and the time required for proof checking can be controlled by further hints from the user. We have applied this technique to two case studies, both of which are type soundness properties for subsets of the.NET CLR. These case studies have in turn aided us in our Informal Analysis of that system.

Alfred J. Menezes - One of the best experts on this subject based on the ideXlab platform.

  • Another Look at "Provable Security"
    Journal of Cryptology, 2007
    Co-Authors: Neal Koblitz, Alfred J. Menezes
    Abstract:

    We give an Informal Analysis and critique of several typical "provable security" results. In some cases there are intuitive but convincing arguments for rejecting the conclusions suggested by the formal terminology and "proofs," whereas in other cases the formalism seems to be consistent with common sense. We discuss the reasons why the search for mathematically convincing theoretical evidence to support the security of public-key systems has been an important theme of researchers. However, we argue that the theorem-proof paradigm of theoretical mathematics is often of limited relevance here and frequently leads to papers that are confusing and misleading. Because our paper is aimed at the general mathematical public, it is self-contained and as jargon-free as possible.

Keith Mayes - One of the best experts on this subject based on the ideXlab platform.

  • A Formally Verified Mutual Authentication Protocol for Low-Cost RFID Tags
    International Journal of RFID Security and Cryptography, 2014
    Co-Authors: Sarah Abughazalah, Konstantinos Markantonakis, Keith Mayes
    Abstract:

    In this paper, we propose a lightweight mutual authentication protocol for low-cost Radio Frequency IDentification (RFID) tags. Although RFID systems promise a fruitful future, security and privacy concerns have affected the proliferation of the RFID technology. The proposed protocol aims to protect RFID tags against a wide variety of attacks and especially Denial of Service (DoS) attacks. We found that the majority of the proposed protocols failed to resist this kind of attack. To analyse our proposed protocol, we provide an Informal Analysis. In addition, we formally analyse the security of the proposed protocol via using automated formal verification tools such as CasperFDR and AVISPA. We also employed an up-to-date privacy model to evaluate the privacy of the RFID protocol. The results show that the proposed protocol achieves tag’s data secrecy, privacy and authentication under the presence of a passive adversary.

  • TrustCom - Cross-Platform Application Sharing Mechanism
    2011IEEE 10th International Conference on Trust Security and Privacy in Computing and Communications, 2011
    Co-Authors: Raja Naeem Akram, Konstantinos Markantonakis, Keith Mayes
    Abstract:

    The application sharing mechanism in multi-application smart cards facilitates corroborative schemes between applications in a secure and reliable manner. Traditional application sharing can only be realised if both applications are installed on the same device. In this paper, we extend the smart card firewall to include the application sharing mechanism between applications installed on different smart cards. We propose Platform and Application Binding Protocols that enables two smart-cards / applications to authenticate and ascertain the trustworthiness before sharing resources. Furthermore, we provide an Informal Analysis of the protocols along with comparison with existing protocols. Subsequently, mechanical formal Analysis based on the CasperFDR, and the implementation experience is presented.