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

François Rouaix - One of the best experts on this subject based on the ideXlab platform.

  • Secure Internet Programming - Security properties of Typed applets
    2001
    Co-Authors: François Rouaix, Xavier Leroy
    Abstract:

    This paper formcdizes the folklore result that strongly-Typed applets are more secure than unTyped ones. We formulate and prove several security properties that all well-Typed applets possess, and identify sufficient conditions for the applet execution environment to be safe, such as procedural Encapsulation, Type abstraction, and systematic Typebased placement of run-time checks. These results are a first step towards formal techniques for developing and validating safe execution environments for applets.

  • Security Properties of Typed Applets
    Secure Internet Programming, 1999
    Co-Authors: Xavier Leroy, François Rouaix
    Abstract:

    International audienceThis paper formalizes the folklore result that strongly-Typed applets are more secure than unTyped ones. We formulate and prove several security properties that all well-Typed applets possess, and identify sufficient conditions for the applet execution environment to be safe, such as procedural Encapsulation, Type abstraction, and systematic Type-based placement of run-time checks. These results are a first step towards formal techniques for developing and validating safe execution environments for applets

  • Security properties of Typed applets
    1999
    Co-Authors: Xavier Leroy, François Rouaix
    Abstract:

    This paper formalizes the folklore result that strongly-Typed applets are more secure than unTyped ones. We formulate and prove several security properties that all well-Typed applets possess, and identify sufficient conditions for the applet execution environment to be safe, such as procedural Encapsulation, Type abstraction, and systematic Type-based placement of run-time checks. These results are a first step towards formal techniques for developing and validating safe execution environments for applets.

  • POPL - Security properties of Typed applets
    Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98, 1998
    Co-Authors: Xavier Leroy, François Rouaix
    Abstract:

    This paper formalizes the folklore result that strongly-Typed applets are more secure than unTyped ones. We formulate and prove several security properties that all well-Typed applets possess, and identify sufficient conditions for the applet execution environment to be safe, such as procedural Encapsulation, Type abstraction, and systematic Type-based placement of run-time checks. These results are a first step towards formal techniques for developing and validating safe execution environments for applets.

Xavier Leroy - One of the best experts on this subject based on the ideXlab platform.

  • Secure Internet Programming - Security properties of Typed applets
    2001
    Co-Authors: François Rouaix, Xavier Leroy
    Abstract:

    This paper formcdizes the folklore result that strongly-Typed applets are more secure than unTyped ones. We formulate and prove several security properties that all well-Typed applets possess, and identify sufficient conditions for the applet execution environment to be safe, such as procedural Encapsulation, Type abstraction, and systematic Typebased placement of run-time checks. These results are a first step towards formal techniques for developing and validating safe execution environments for applets.

  • Security Properties of Typed Applets
    Secure Internet Programming, 1999
    Co-Authors: Xavier Leroy, François Rouaix
    Abstract:

    International audienceThis paper formalizes the folklore result that strongly-Typed applets are more secure than unTyped ones. We formulate and prove several security properties that all well-Typed applets possess, and identify sufficient conditions for the applet execution environment to be safe, such as procedural Encapsulation, Type abstraction, and systematic Type-based placement of run-time checks. These results are a first step towards formal techniques for developing and validating safe execution environments for applets

  • Security properties of Typed applets
    1999
    Co-Authors: Xavier Leroy, François Rouaix
    Abstract:

    This paper formalizes the folklore result that strongly-Typed applets are more secure than unTyped ones. We formulate and prove several security properties that all well-Typed applets possess, and identify sufficient conditions for the applet execution environment to be safe, such as procedural Encapsulation, Type abstraction, and systematic Type-based placement of run-time checks. These results are a first step towards formal techniques for developing and validating safe execution environments for applets.

  • POPL - Security properties of Typed applets
    Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98, 1998
    Co-Authors: Xavier Leroy, François Rouaix
    Abstract:

    This paper formalizes the folklore result that strongly-Typed applets are more secure than unTyped ones. We formulate and prove several security properties that all well-Typed applets possess, and identify sufficient conditions for the applet execution environment to be safe, such as procedural Encapsulation, Type abstraction, and systematic Type-based placement of run-time checks. These results are a first step towards formal techniques for developing and validating safe execution environments for applets.

Dale J. Meier - One of the best experts on this subject based on the ideXlab platform.

  • Compatibilizer-Phase Morphology-Mechanical Property Relationships of Multicomponent Heterophase Polymer Blends
    Interfacial Aspects of Multicomponent Polymer Materials, 1997
    Co-Authors: Raja Mani, Ned V. Gvozdic, Dale J. Meier
    Abstract:

    The compatibilization of various three- and five-component blends of polyethylene, polystyrene, polypropylene, poly(methyl methacrylate) and polyvinylchloride has been investigated. The ultimate mechanical properties of such multi-component blends are related to their phase structures, which, in turn, are influenced by the nature of the compatibilizer used. Thus, in compatibilizing such blends, a properly chosen compatibilizer will result in a desired phase structure having improved mechanical properties, whereas another compatibilizer may lead to an undesirable phase structure with poor mechanical properties. The latter can result even though the compatibilizer is effective in promoting a finer dispersion and improving the interfacial adhesion. For blends with an Encapsulation-Type phase structure, the interface(s) between the encapsulating shell and the matrix is usually the primary interface(s) influencing the mechanical properties of the system, whereas for a blend with a separation-Type phase structure, all of the matrix/particulate interfaces may be important.

  • Prediction and manipulation of the phase morphologies of multiphase polymer blends: II. Quaternary systems
    Polymer, 1997
    Co-Authors: N.v. Gvozdic, Dale J. Meier
    Abstract:

    The dispersed phases of a multiphase polymer blend will either form an Encapsulation-Type phase morphology or the phases will remain separately dispersed, depending on which morphology has the lower free energy. We have developed a model to predict phase morphologies of multiphase polymer blends. Calculations based on the model suggest that interfacial tensions play the major role in establishing the phase structure of a multiphase system, with a less significant role played by the surface areas of the dispersed phases. The model further shows that the phase structure of a multiphase polymer blend can be converted from one Type to another by changing the interfacial tensions between one or more pairs of the components using interfacially-active agents such as block or graft copolymers. We have applied the model to different ternary blends of polystyrene, polyethylene, polypropylene and poly(methyl methacrylate), and have compared the predicted morphologies of these blends with experimental results. In each case, the predicted morphologies agree with those found experimentally. In addition, we have successfully converted the phase structures of these blends from one Type to another by using interfacially-active block copolymers.

P. Horanont - One of the best experts on this subject based on the ideXlab platform.

  • Phase structure and property relationships in ternary polypropylene/elastomer/filler composites: Effect of elastomer polarity
    Journal of Applied Polymer Science, 2000
    Co-Authors: K. Premphet, P. Horanont
    Abstract:

    Ternary composites of polypropylene (PP), elastomer, and calcium carbonate (CaCO3) filler were prepared to study their structure/property relationships. Two kinds of phase structure were formed, depending on the elastomer present in the composites. Separation of elastomer and filler particles was found when a nonpolar ethylene–octene copolymer was used. Encapsulation of filler by the elastomer was achieved by using a polar ethylene–vinyl acetate elastomer. The mechanical properties of ternary composites were strongly dependent on material composition and their phase structures. In the present study, composites with separate dispersion structure showed higher modulus and impact strength than those of Encapsulation Type. The deformation mechanisms of both composites were studied using scanning electron microscopy. © 2000 John Wiley & Sons, Inc. J Appl Polym Sci 76: 1929–1939, 2000

Raja Mani - One of the best experts on this subject based on the ideXlab platform.

  • Compatibilizer-Phase Morphology-Mechanical Property Relationships of Multicomponent Heterophase Polymer Blends
    Interfacial Aspects of Multicomponent Polymer Materials, 1997
    Co-Authors: Raja Mani, Ned V. Gvozdic, Dale J. Meier
    Abstract:

    The compatibilization of various three- and five-component blends of polyethylene, polystyrene, polypropylene, poly(methyl methacrylate) and polyvinylchloride has been investigated. The ultimate mechanical properties of such multi-component blends are related to their phase structures, which, in turn, are influenced by the nature of the compatibilizer used. Thus, in compatibilizing such blends, a properly chosen compatibilizer will result in a desired phase structure having improved mechanical properties, whereas another compatibilizer may lead to an undesirable phase structure with poor mechanical properties. The latter can result even though the compatibilizer is effective in promoting a finer dispersion and improving the interfacial adhesion. For blends with an Encapsulation-Type phase structure, the interface(s) between the encapsulating shell and the matrix is usually the primary interface(s) influencing the mechanical properties of the system, whereas for a blend with a separation-Type phase structure, all of the matrix/particulate interfaces may be important.