17 research outputs found

    Secure Communications in Next Generation Digital Aeronautical Datalinks

    Get PDF
    As of 2022, Air Traffic Management (ATM) is gradually digitizing to automate and secure data transmission in civil aviation. New digital data links like the L-band Digital Aeronautical Communications System (LDACS) are being introduced for this purpose. LDACS is a cellular, ground-based digital communications system for flight guidance and safety. Unfortunately, LDACS and many other datalinks in civil aviation lack link layer security measures. This doctoral thesis proposes a cybersecurity architecture for LDACS, developing various security measures to protect user and control data. These include two new authentication and key establishment protocols, along with a novel approach to secure control data of resource-constrained wireless communication systems. Evaluations demonstrate a latency increase of 570 to 620 milliseconds when securely attaching an aircraft to an LDACS cell, along with a 5% to 10% security data overhead. Also, flight trials confirm that Ground-based Augmentation System (GBAS) can be securely transmitted via LDACS with over 99% availability. These security solutions enable future aeronautical applications like 4D-Trajectories, paving the way for a digitized and automated future of civil aviation

    Electronic Evidence and Electronic Signatures

    Get PDF
    In this updated edition of the well-established practitioner text, Stephen Mason and Daniel Seng have brought together a team of experts in the field to provide an exhaustive treatment of electronic evidence and electronic signatures. This fifth edition continues to follow the tradition in English evidence text books by basing the text on the law of England and Wales, with appropriate citations of relevant case law and legislation from other jurisdictions. Stephen Mason (of the Middle Temple, Barrister) is a leading authority on electronic evidence and electronic signatures, having advised global corporations and governments on these topics. He is also the editor of International Electronic Evidence (British Institute of International and Comparative Law 2008), and he founded the innovative international open access journal Digital Evidence and Electronic Signatures Law Review in 2004. Daniel Seng (Associate Professor, National University of Singapore) is the Director of the Centre for Technology, Robotics, AI and the Law (TRAIL). He teaches and researches information technology law and evidence law. Daniel was previously a partner and head of the technology practice at Messrs Rajah & Tann. He is also an active consultant to the World Intellectual Property Organization, where he has researched, delivered papers and published monographs on copyright exceptions for academic institutions, music copyright in the Asia Pacific and the liability of Internet intermediaries

    Laser Scanner Technology

    Get PDF
    Laser scanning technology plays an important role in the science and engineering arena. The aim of the scanning is usually to create a digital version of the object surface. Multiple scanning is sometimes performed via multiple cameras to obtain all slides of the scene under study. Usually, optical tests are used to elucidate the power of laser scanning technology in the modern industry and in the research laboratories. This book describes the recent contributions reported by laser scanning technology in different areas around the world. The main topics of laser scanning described in this volume include full body scanning, traffic management, 3D survey process, bridge monitoring, tracking of scanning, human sensing, three-dimensional modelling, glacier monitoring and digitizing heritage monuments

    Electronic Evidence and Electronic Signatures

    Get PDF
    In this updated edition of the well-established practitioner text, Stephen Mason and Daniel Seng have brought together a team of experts in the field to provide an exhaustive treatment of electronic evidence and electronic signatures. This fifth edition continues to follow the tradition in English evidence text books by basing the text on the law of England and Wales, with appropriate citations of relevant case law and legislation from other jurisdictions. Stephen Mason (of the Middle Temple, Barrister) is a leading authority on electronic evidence and electronic signatures, having advised global corporations and governments on these topics. He is also the editor of International Electronic Evidence, and he founded the innovative international open access journal Digital Evidence and Electronic Signatures Law Review in 2004. Daniel Seng (Associate Professor, National University of Singapore) is the Director of the Centre for Technology, Robotics, AI and the Law (TRAIL). He teaches and researches information technology law and evidence law. Daniel was previously a partner and head of the technology practice at Messrs Rajah & Tann. He is also an active consultant to the World Intellectual Property Organization, where he has researched, delivered papers and published monographs on copyright exceptions for academic institutions, music copyright in the Asia Pacific and the liability of Internet intermediaries

    Probabilistic verification of satellite systems for mission critical applications

    Get PDF
    In this thesis, we present a quantitative approach using probabilistic verification techniques for the analysis of reliability, availability, maintainability, and safety (RAMS) properties of satellite systems. The subject of our research is satellites used in mission critical industrial applications. A strong case for using probabilistic model checking to support RAMS analysis of satellite systems is made by our verification results. This study is intended to build a foundation to help reliability engineers with a basic background in model checking to apply probabilistic model checking to small satellite systems. We make two major contributions. One of these is the approach of RAMS analysis to satellite systems. In the past, RAMS analysis has been extensively applied to the field of electrical and electronics engineering. It allows system designers and reliability engineers to predict the likelihood of failures from the indication of historical or current operational data. There is a high potential for the application of RAMS analysis in the field of space science and engineering. However, there is a lack of standardisation and suitable procedures for the correct study of RAMS characteristics for satellite systems. This thesis considers the promising application of RAMS analysis to the case of satellite design, use, and maintenance, focusing on its system segments. Data collection and verification procedures are discussed, and a number of considerations are also presented on how to predict the probability of failure. Our second contribution is leveraging the power of probabilistic model checking to analyse satellite systems. We present techniques for analysing satellite systems that differ from the more common quantitative approaches based on traditional simulation and testing. These techniques have not been applied in this context before. We present the use of probabilistic techniques via a suite of detailed examples, together with their analysis. Our presentation is done in an incremental manner: in terms of complexity of application domains and system models, and a detailed PRISM model of each scenario. We also provide results from practical work together with a discussion about future improvements

    Proceedings / 6th International Symposium of Industrial Engineering - SIE 2015, 24th-25th September, 2015, Belgrade

    Get PDF
    editors Vesna Spasojević-Brkić, Mirjana Misita, Dragan D. Milanovi

    Bridgewater State University Undergraduate & Graduate Catalog 2015-2016

    Get PDF
    This 2015-2016 Bridgewater State University Catalog outlines programs of study. This catalog is an official publication of Bridgewater State University. The rules, regulations, policies, fees and other charges, courses of study, and academic requirements that appear in this catalog were in effect at the time of its publication. Whether noted elsewhere in this catalog or not, the university reserves the right to change, eliminate, and add to any existing (and to introduce additional) rules, regulations, policies, fees and other charges, courses of study and academic requirements that appear in this catalog, in the Student Handbook or on its website or otherwise. Whenever it does so, the university will give as much advance notice as it considers feasible or appropriate, but it reserves the right in all cases to do so without notice. Statement of Student Responsibility Students should read and understand the rules, requirements and policies described in the catalog. Additionally, all enrolled students are expected to read and be familiar with the content of the Student Handbook. In all cases, students bear ultimate responsibility for reading the catalog and the Student Handbook and following the policies, rules, requirements and regulations of the university.https://vc.bridgew.edu/bsu_catalogs/1007/thumbnail.jp

    Proceedings / 6th International Symposium of Industrial Engineering - SIE 2015, 24th-25th September, 2015, Belgrade

    Get PDF
    editors Vesna Spasojević-Brkić, Mirjana Misita, Dragan D. Milanovi

    Bridgewater State University Undergraduate & Graduate Catalog 2014-2015

    Get PDF
    This 2014-2015 Bridgewater State University Catalog outlines programs of study. The rules, regulations, policies, fees and other charges, courses of study, and academic requirements that appear in this catalog were in effect at the time of its publication. Like everything else in this catalog, they are published for informational purposes only, and they do not constitute a contract between the university and any student, applicant for admission or other person. Whether noted elsewhere in this catalog or not, the university reserves the right to change, eliminate, and add to any existing (and to introduce additional) rules, regulations, policies, fees and other charges, courses of study and academic requirements. Whenever it does so, the university will give as much advance notice as it considers feasible or appropriate, but it reserves the right in all cases to do so without notice. Statement of Student Responsibility In all cases, the student bears ultimate responsibility for reading the catalog and following the academic policies and regulations of the university.https://vc.bridgew.edu/bsu_catalogs/1005/thumbnail.jp

    Bridgewater State University Undergraduate & Graduate Catalog 2013-2014

    Get PDF
    This 2013-2014 Bridgewater State University Catalog outlines programs of study. The rules, regulations, policies, fees and other charges, courses of study, and academic requirements that appear in this catalog were in effect at the time of its publication. Like everything else in this catalog, they are published for informational purposes only, and they do not constitute a contract between the university and any student, applicant for admission or other person. Whether noted elsewhere in this catalog or not, the university reserves the right to change, eliminate, and add to any existing (and to introduce additional) rules, regulations, policies, fees and other charges, courses of study and academic requirements. Whenever it does so, the university will give as much advance notice as it considers feasible or appropriate, but it reserves the right in all cases to do so without notice. Statement of Student Responsibility In all cases, the student bears ultimate responsibility for reading the catalog and following the academic policies and regulations of the university.https://vc.bridgew.edu/bsu_catalogs/1004/thumbnail.jp
    corecore