Implementing A Type System For Secure Information Flow Potential Security Risks

Download Implementing A Type System For Secure Information Flow Potential Security Risks PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Implementing A Type System For Secure Information Flow Potential Security Risks book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page

Implementing A Type System For Secure Information Flow Potential Security Risks

Implementing A Type System For Secure Information Flow Potential Security Risks written by Dominik Kropp and has been published by GRIN Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2020-12-14 with Computers categories.

Master's Thesis from the year 2019 in the subject Computer Science - Software, grade: 77, City University London, course: Software Engineering, language: English, abstract: The objectives of this project are to design, implement and systematically demonstrate a chosen type system considering reliability, performance, and scalability. Furthermore, it aims to determine the limitations of the implementation and alternative architectural designs, to evaluate the extent to which the developed prototype scales up to real-life scenarios and to investigate the feasibility of a similar security type system for SAP systems. Standard security practices, such as access controls, insufficiently assure secure end-to-end behaviour of an application. Any program flaw, no matter how small or big, poses a potential security risk. Static information flow analysis checks a program for confidential information leaks into public data containers at compile-time. This design-and-build project’s aim is the prototypical implementation of a security type system for a simple demonstrative language to prevent programs leaking confidential information effectively. The project is based on existing research concerning security type systems as a means of enforcing information flow policies in a program. The results are discussed not only in terms of validity but also considering the feasibility of a similar security type system for SAP enterprise resource management systems. Society relies heavily on software-intensive systems in all facets of life. Information is automatically processed in automobiles, phones, fridges, and countless web servers. Much of that information is personal data and can distinguish an individual’s identity, such as their name, biometric records, or email addresses. Intellectual property and confidential information are handled in mission-critical military, governmental, medical and business applications. Therefore, building trust in the handling of data by systems is a crucial aspect of software architecture design.

Securing Untrustworthy Software Using Information Flow Control

Securing Untrustworthy Software Using Information Flow Control written by Nickolai Zeldovich and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 2007 with categories.

Advances In Cryptology Auscrypt

Advances In Cryptology Auscrypt written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1990 with Computer security categories.

Conference Publication

Conference Publication written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1990 with Computer programming categories.

Conference Record Of Popl 98

Conference Record Of Popl 98 written by Association for Computing Machinery and has been published by Association for Computing Machinery (ACM) this book supported file pdf, txt, epub, kindle and other format this book has been release on 1998 with Computers categories.

Proceedings

Proceedings written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1990 with Computer networks categories.

Information Resources Management

Information Resources Management written by and has been published by IGI Global this book supported file pdf, txt, epub, kindle and other format this book has been release on 2010-01-01 with Computers categories.

"This work is a comprehensive, four-volume reference addressing major issues, trends, and areas for advancement in information management research, containing chapters investigating human factors in IT management, as well as IT governance, outsourcing, and diffusion"--Provided by publisher.

Strategic Review

Strategic Review written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 2004 with Computer service industry categories.

Dissertation Abstracts International

Dissertation Abstracts International written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 2008 with Dissertations, Academic categories.

Mathematics Of Program Construction

Mathematics Of Program Construction written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1998 with Computer programming categories.