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

Teller, Patricia J. - One of the best experts on this subject based on the ideXlab platform.

  • A Formal Specification in JML of the Java Security Package
    ScholarWorks@UTEP, 2006
    Co-Authors: Agarwal Poonam, Rubio-medrano, Carlos E., Cheon Yoonsik, Teller, Patricia J.
    Abstract:

    The Java Security Package allows a programmer to add Security features to Java applications. Although the Package provides a complex application programming interface (API), its informal description, e.g., Javadoc comments, is often ambiguous or imprecise. Nonetheless, the Security of an application can be compromised if the Package is used without a concrete understanding of the precise behavior of the API classes and interfaces, which can be attained via formal specification. In this paper, we present our experiences in formally specifying the Java Security Package in JML, a formal behavior interface specification language for Java. We illustrate portions of our JML specifications and discuss the lessons that we learned, from this specification effort, about specification patterns and the effectiveness of JML. In addition, we put forward our JML wish list. Our specifications are not only a precise document for the API but also provide a foundation for formally reasoning and verifying the Security aspects of applications. We believe that our specification techniques and patterns can be used to specify other Java Packages and frameworks

Patricia J Teller - One of the best experts on this subject based on the ideXlab platform.

  • a formal specification in jml of java Security Package
    Computer Information and Systems Sciences and Engineering, 2007
    Co-Authors: Poonam Agarwal, Carlos E Rubiomedrano, Yoonsik Cheon, Patricia J Teller
    Abstract:

    The Java Security Package allows a programmer to add Security features to Java applications. Although the Package provides a complex application programming interface (API), its informal description, e.g., Javadoc comments, is often ambiguous or imprecise. Nonetheless, the Security of an application can be compromised if the Package is used without a concrete understanding of the precise behavior of the API classes and interfaces, which can be attained via formal specification. In this paper, we present our experiences in formally specifying the Java Security Package in JML, a formal behavior interface specification language for Java. We illustrate portions of our JML specifications and discuss the lessons that we learned, from this specification effort, about specification patterns and the effectiveness of JML. Our specifications are not only a precise document for the API but also provide a foundation for formally reasoning and verifying the Security aspects of applications. We believe that our specification techniques and patterns can be used to specify other Java Packages and frameworks.

Agarwal Poonam - One of the best experts on this subject based on the ideXlab platform.

  • A Formal Specification in JML of the Java Security Package
    ScholarWorks@UTEP, 2006
    Co-Authors: Agarwal Poonam, Rubio-medrano, Carlos E., Cheon Yoonsik, Teller, Patricia J.
    Abstract:

    The Java Security Package allows a programmer to add Security features to Java applications. Although the Package provides a complex application programming interface (API), its informal description, e.g., Javadoc comments, is often ambiguous or imprecise. Nonetheless, the Security of an application can be compromised if the Package is used without a concrete understanding of the precise behavior of the API classes and interfaces, which can be attained via formal specification. In this paper, we present our experiences in formally specifying the Java Security Package in JML, a formal behavior interface specification language for Java. We illustrate portions of our JML specifications and discuss the lessons that we learned, from this specification effort, about specification patterns and the effectiveness of JML. In addition, we put forward our JML wish list. Our specifications are not only a precise document for the API but also provide a foundation for formally reasoning and verifying the Security aspects of applications. We believe that our specification techniques and patterns can be used to specify other Java Packages and frameworks

Poonam Agarwal - One of the best experts on this subject based on the ideXlab platform.

  • a formal specification in jml of java Security Package
    Computer Information and Systems Sciences and Engineering, 2007
    Co-Authors: Poonam Agarwal, Carlos E Rubiomedrano, Yoonsik Cheon, Patricia J Teller
    Abstract:

    The Java Security Package allows a programmer to add Security features to Java applications. Although the Package provides a complex application programming interface (API), its informal description, e.g., Javadoc comments, is often ambiguous or imprecise. Nonetheless, the Security of an application can be compromised if the Package is used without a concrete understanding of the precise behavior of the API classes and interfaces, which can be attained via formal specification. In this paper, we present our experiences in formally specifying the Java Security Package in JML, a formal behavior interface specification language for Java. We illustrate portions of our JML specifications and discuss the lessons that we learned, from this specification effort, about specification patterns and the effectiveness of JML. Our specifications are not only a precise document for the API but also provide a foundation for formally reasoning and verifying the Security aspects of applications. We believe that our specification techniques and patterns can be used to specify other Java Packages and frameworks.

Massimo Merlino - One of the best experts on this subject based on the ideXlab platform.

  • the italian in Security Package Security vs rule of law and fundamental rights in the eu ceps challenge paper no 14 10 march 2009
    2009
    Co-Authors: Massimo Merlino
    Abstract:

    The 2008 Italian Security Package has triggered various concerns and criticism in Italy and across Europe. This working paper aims at analysing the nature, scope and implications of some of the legislative measures and practices constituting the Package. In particular, it is argued that they are incompatible with the relevant provisions and principles of EU law – namely non-discrimination and free movement of persons – as well as international human rights standards. The paper also evaluates the impact that laws of exception and practices of derogation facilitated by the Italian measures may have on basic principles laying at the heart of the EU’s foundations (respect for human rights and fundamental freedoms, and the rule of law) and shows how fundamental rights cannot be taken for granted in the EU.

  • the italian in Security Package Security vs rule of law and fundamental rights in the eu
    2009
    Co-Authors: Massimo Merlino
    Abstract:

    The 2008 Italian Security Package has triggered various concerns and criticism in Italy and across Europe. This working paper aims at analysing the nature, scope and implications of some of the legislative measures and practices constituting the Package. In particular, it is argued that they are incompatible with the relevant provisions and principles of EU law – namely non-discrimination and free movement of persons – as well as international human rights standards. The paper also evaluates the impact that laws of exception and practices of derogation facilitated by the Italian measures may have on basic principles laying at the heart of the EU’s foundations (respect for human rights and fundamental freedoms, and the rule of law) and shows how fundamental rights cannot be taken for granted in the EU.