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

Gaven J Watson - One of the best experts on this subject based on the ideXlab platform.

  • anonymity guarantees of the umts lte authentication and Connection Protocol
    International Journal of Information Security, 2014
    Co-Authors: Mingfeng Lee, Nigel P Smart, Bogdan Warinschi, Gaven J Watson
    Abstract:

    The UMTS/LTE Protocol for mobile phone networks has been designed to offer a limited form of anonymity for mobile phone users. In this paper, we quantify precisely what this limited form of anonymity actually provides via a formal security model. The model considers an execution where the home and roaming network providers are considered as one entity. We consider two forms of anonymity, one where the mobile stations under attack are statically selected before the execution, and a second where the adversary selects these stations adaptively. We prove that the UMTS/LTE Protocol meets both of these security definitions. Our analysis requires new assumptions on the underlying keyed functions for UMTS, namely that a set of pseudorandom functions are "agile". This assumption, while probably true, has not previously been brought to the fore.

  • anonymity guarantees of the umts lte authentication and Connection Protocol
    IACR Cryptology ePrint Archive, 2013
    Co-Authors: Mingfeng Lee, Nigel P Smart, Bogdan Warinschi, Gaven J Watson
    Abstract:

    The UMTS/LTE Protocol for mobile phone networks has been designed to offer a limited form of anonymity for mobile phone users. In this paper we quantify precisely what this limited form of anonymity actually provides via a formal security model. The model considers an execution where the home and roaming network providers are considered as one entity. We consider two forms of anonymity, one where the mobile stations under attack are statically selected before the execution, and a second where the adversary selects these stations adaptively. We prove that the UMTS/LTE Protocol meets both of these security definitions. Our analysis requires new assumptions on the underlying keyed functions for UMTS, namely that a set of pseudorandom functions are “agile”. This assumption, whilst probably true, has not previously been brought to the fore.

Mingfeng Lee - One of the best experts on this subject based on the ideXlab platform.

  • anonymity guarantees of the umts lte authentication and Connection Protocol
    International Journal of Information Security, 2014
    Co-Authors: Mingfeng Lee, Nigel P Smart, Bogdan Warinschi, Gaven J Watson
    Abstract:

    The UMTS/LTE Protocol for mobile phone networks has been designed to offer a limited form of anonymity for mobile phone users. In this paper, we quantify precisely what this limited form of anonymity actually provides via a formal security model. The model considers an execution where the home and roaming network providers are considered as one entity. We consider two forms of anonymity, one where the mobile stations under attack are statically selected before the execution, and a second where the adversary selects these stations adaptively. We prove that the UMTS/LTE Protocol meets both of these security definitions. Our analysis requires new assumptions on the underlying keyed functions for UMTS, namely that a set of pseudorandom functions are "agile". This assumption, while probably true, has not previously been brought to the fore.

  • anonymity guarantees of the umts lte authentication and Connection Protocol
    IACR Cryptology ePrint Archive, 2013
    Co-Authors: Mingfeng Lee, Nigel P Smart, Bogdan Warinschi, Gaven J Watson
    Abstract:

    The UMTS/LTE Protocol for mobile phone networks has been designed to offer a limited form of anonymity for mobile phone users. In this paper we quantify precisely what this limited form of anonymity actually provides via a formal security model. The model considers an execution where the home and roaming network providers are considered as one entity. We consider two forms of anonymity, one where the mobile stations under attack are statically selected before the execution, and a second where the adversary selects these stations adaptively. We prove that the UMTS/LTE Protocol meets both of these security definitions. Our analysis requires new assumptions on the underlying keyed functions for UMTS, namely that a set of pseudorandom functions are “agile”. This assumption, whilst probably true, has not previously been brought to the fore.

Zulkifli Z. - One of the best experts on this subject based on the ideXlab platform.

  • Iot based bluetooth smart radar door system via mobile apps
    'Institute of Electrical and Electronics Engineers (IEEE)', 2019
    Co-Authors: Ishak M.y.b., Ahmad S.b., Zulkifli Z.
    Abstract:

    In the last few decades, Internet of things (IOT) is one of the key elements in industrial revolution 4.0 that used mart phones as one of the best technological advances' intelligent device. It allows us to have power over devices without people intervention, either remote or voice control. Therefore, the 'Smart Radar Door 'system uses a microcontroller and mobile Bluetooth module as an automation of smart door lock system. It is describing the improvement of a security system integrated with an Android mobile phone that uses Bluetooth as a wireless Connection Protocol and processing software as a tool in order to detect any object near to the door. The mob ile device is required a password as authentication method by using microcontroller to control lock and unlock door remotely. The Bluetooth Protocol was chosen as a method of communication between microcontroller and mobile devices which integrated with many Android devices in secured Protocol. © 2019 IEEE

Ishak, Mohamad Yusri - One of the best experts on this subject based on the ideXlab platform.

  • IoT based bluetooth smart radar door system via mobile apps / Mohamad Yusri Ishak
    2019
    Co-Authors: Ishak, Mohamad Yusri
    Abstract:

    In the last few decades, technology has improved a lot. Internet of Things (IoT) is one of the key elements in Industrial Revolution 4.0 that uses smart phones as one of the best technological intelligent devices that allows us to have power over devices without people intervention, either through remote or voice control. Most doors are designed with key locks and they usually have some potential defects such as lost key, unauthorized key component, and forget to bring keys in order to provide door safety from unauthorized access. Therefore, the "Smart Radar Door "system uses a microcontroller and mobile Bluetooth module as an automation of smart door lock system. It improves security system integrated with an Android mobile phone that uses Bluetooth as a wireless Connection Protocol and processing software as a tool to detect any objects near a door. The mobile device requires a password an authentication method by using microcontroller to lock and unlock door remotely. The Bluetooth Protocol is chosen as a method of communication between microcontroller and mobile devices which is integrated with many Android devices in a secured Protocol. This project has been conducted in an experimental basis by evaluating Bluetooth signal measurement, ultrasonic distance measurement and object detection. The findings show that this prototype system has been visualized into line graph to obtain the consistency outcome of object detection and the maximum frequency of Bluetooth signal distance to lock and unlock the door automatically. To improve this project in the future, the author suggests that wireless cameras be used to recognize and detect images for better security, provide notification messages via smartphones in real time if there are intruders sneaking through the door, and perhaps to provide a better communication Protocol to lock and unlock door in long-range distance

Bogdan Warinschi - One of the best experts on this subject based on the ideXlab platform.

  • anonymity guarantees of the umts lte authentication and Connection Protocol
    International Journal of Information Security, 2014
    Co-Authors: Mingfeng Lee, Nigel P Smart, Bogdan Warinschi, Gaven J Watson
    Abstract:

    The UMTS/LTE Protocol for mobile phone networks has been designed to offer a limited form of anonymity for mobile phone users. In this paper, we quantify precisely what this limited form of anonymity actually provides via a formal security model. The model considers an execution where the home and roaming network providers are considered as one entity. We consider two forms of anonymity, one where the mobile stations under attack are statically selected before the execution, and a second where the adversary selects these stations adaptively. We prove that the UMTS/LTE Protocol meets both of these security definitions. Our analysis requires new assumptions on the underlying keyed functions for UMTS, namely that a set of pseudorandom functions are "agile". This assumption, while probably true, has not previously been brought to the fore.

  • anonymity guarantees of the umts lte authentication and Connection Protocol
    IACR Cryptology ePrint Archive, 2013
    Co-Authors: Mingfeng Lee, Nigel P Smart, Bogdan Warinschi, Gaven J Watson
    Abstract:

    The UMTS/LTE Protocol for mobile phone networks has been designed to offer a limited form of anonymity for mobile phone users. In this paper we quantify precisely what this limited form of anonymity actually provides via a formal security model. The model considers an execution where the home and roaming network providers are considered as one entity. We consider two forms of anonymity, one where the mobile stations under attack are statically selected before the execution, and a second where the adversary selects these stations adaptively. We prove that the UMTS/LTE Protocol meets both of these security definitions. Our analysis requires new assumptions on the underlying keyed functions for UMTS, namely that a set of pseudorandom functions are “agile”. This assumption, whilst probably true, has not previously been brought to the fore.