Application Implementation - Explore the Science & Experts | ideXlab

Scan Science and Technology

Contact Leading Edge Experts & Companies

Application Implementation

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

Quanqi Ye – 1st expert on this subject based on the ideXlab platform

  • ICECCS – Analyzing Security Property of Android Application Implementation Using Formal Method
    2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS), 2015
    Co-Authors: Quanqi Ye

    Abstract:

    As mobile phones are becoming a main approach for people to use to access internet, security is a major concern when people are using their mobile phones. Different from the web browser which has mature isolation mechanisms to protect users’ information such as cookies and credentials, Android app developers have to implement the isolation mechanism such as the Single Origin Policy (SOP) [1], [2] themselves. During the Implementation process, it is highly likely that there is vulnerability in the Implementation. Therefore, it is necessary to perform analysis to the Implementation before it is released to market. As part of an ongoing Ph.D. research project, this dissertation inspects two scenarios. The first scenario is an app which provides Single Sign-on (SSO) service using Facebook SDK. The author builds formal models from the captured network traffic of the app and uses a verifier Proverif to check against the defined properties of the formal models. After the analysis, one vulnerability is discovered which violates SOP. As for the second scenario, it is an initial analysis of information flow leak in Android apps.

  • Analyzing Security Property of Android Application Implementation Using Formal Method
    2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS), 2015
    Co-Authors: Quanqi Ye

    Abstract:

    As mobile phones are becoming a main approach for people to use to access Internet, security is a major concern when people are using their mobile phones. Different from the Web browser which has mature isolation mechanisms to protect users’ information such as cookies and credentials, Android app developers have to implement the isolation mechanism such as the Single Origin Policy (SOP) themselves. During the Implementation process, it is highly likely that there is vulnerability in the Implementation. Therefore, it is necessary to perform analysis to the Implementation before it is released to market. As part of an ongoing Ph.D. research project, this dissertation inspects two scenarios. The first scenario is an app which provides Single Sign-on (SSO) service using Facebook SDK. The author builds formal models from the captured network traffic of the app and uses a verifier Proverif to check against the defined properties of the formal models. After the analysis, one vulnerability is discovered which violates SOP. As for the second scenario, it is an initial analysis of information flow leak in Android apps.

Ondrej Krejcar – 2nd expert on this subject based on the ideXlab platform

  • DESRIST – Development of Augmented Reality Application on Android OS
    New Horizons in Design Science: Broadening the Research Agenda, 2015
    Co-Authors: Ondrej Bilek, Ondrej Krejcar

    Abstract:

    Augmented reality is one of the current mobile trends, while the main development has not yet come. It complements properties around the user for additional software added elements whose goal is to further expand the user possibilities to real reality. Many of augmented reality Applications apply a wide range of sensors, because it is necessary to accurately identify the surrounding reality in order to be properly extended.Paper deals with use of embedded sensors of mobile devices. Selected examples of specific procedures and algorithms are described on currently the most widely used mobile platform Android OS. Design of Application, Implementation with class descriptions as well as interesting algorithms and testing of final Application is also described.

  • Possibility of Using Embedded Sensors of Smart Devices for Augmented Reality Application
    Advanced Multimedia and Ubiquitous Engineering, 2015
    Co-Authors: Ondrej Bilek, Ondrej Krejcar

    Abstract:

    Paper deals with use of embedded sensors of mobile devices. While describing a development of an example Application using described sensors with emphasis on the widest range of sensors we would like to show possibilities of today smart devices to operate with augmented reality world. We are also focusing on current popular mobile platforms and development options for these platforms, with focus on using of embedded sensors. Most important issues are described with examples of specific procedures and algorithm samples of programming sensors on currently the most widely used mobile platform Google Android. Practical example Application for augmented reality is using some described sensors and is based on some principles of augmented reality. There is described initial design of Application, Implementation with class descriptions and interesting algorithms and testing. Finally we end with testing, evaluation, comparison and conclusion.

  • Development of Augmented Reality Application on Android OS
    New Horizons in Design Science: Broadening the Research Agenda, 2015
    Co-Authors: Ondrej Bilek, Ondrej Krejcar

    Abstract:

    Augmented reality is one of the current mobile trends, while the main development has not yet come. It complements properties around the user for additional software added elements whose goal is to further expand the user possibilities to real reality. Many of augmented reality Applications apply a wide range of sensors, because it is necessary to accurately identify the surrounding reality in order to be properly extended.Paper deals with use of embedded sensors of mobile devices. Selected examples of specific procedures and algorithms are described on currently the most widely used mobile platform Android OS. Design of Application, Implementation with class descriptions as well as interesting algorithms and testing of final Application is also described.

Ondrej Bilek – 3rd expert on this subject based on the ideXlab platform

  • DESRIST – Development of Augmented Reality Application on Android OS
    New Horizons in Design Science: Broadening the Research Agenda, 2015
    Co-Authors: Ondrej Bilek, Ondrej Krejcar

    Abstract:

    Augmented reality is one of the current mobile trends, while the main development has not yet come. It complements properties around the user for additional software added elements whose goal is to further expand the user possibilities to real reality. Many of augmented reality Applications apply a wide range of sensors, because it is necessary to accurately identify the surrounding reality in order to be properly extended.Paper deals with use of embedded sensors of mobile devices. Selected examples of specific procedures and algorithms are described on currently the most widely used mobile platform Android OS. Design of Application, Implementation with class descriptions as well as interesting algorithms and testing of final Application is also described.

  • Possibility of Using Embedded Sensors of Smart Devices for Augmented Reality Application
    Advanced Multimedia and Ubiquitous Engineering, 2015
    Co-Authors: Ondrej Bilek, Ondrej Krejcar

    Abstract:

    Paper deals with use of embedded sensors of mobile devices. While describing a development of an example Application using described sensors with emphasis on the widest range of sensors we would like to show possibilities of today smart devices to operate with augmented reality world. We are also focusing on current popular mobile platforms and development options for these platforms, with focus on using of embedded sensors. Most important issues are described with examples of specific procedures and algorithm samples of programming sensors on currently the most widely used mobile platform Google Android. Practical example Application for augmented reality is using some described sensors and is based on some principles of augmented reality. There is described initial design of Application, Implementation with class descriptions and interesting algorithms and testing. Finally we end with testing, evaluation, comparison and conclusion.

  • Development of Augmented Reality Application on Android OS
    New Horizons in Design Science: Broadening the Research Agenda, 2015
    Co-Authors: Ondrej Bilek, Ondrej Krejcar

    Abstract:

    Augmented reality is one of the current mobile trends, while the main development has not yet come. It complements properties around the user for additional software added elements whose goal is to further expand the user possibilities to real reality. Many of augmented reality Applications apply a wide range of sensors, because it is necessary to accurately identify the surrounding reality in order to be properly extended.Paper deals with use of embedded sensors of mobile devices. Selected examples of specific procedures and algorithms are described on currently the most widely used mobile platform Android OS. Design of Application, Implementation with class descriptions as well as interesting algorithms and testing of final Application is also described.