Theories and Intricacies of Information Security Problems PDF Download

Author: Anne V. D. M. Kayem
Publisher: Universitätsverlag Potsdam
ISBN: 3869562048
Category : Computers
Languages : en
Pages : 60

View

Book Description
Keine Angaben

Author: Meinel, Christoph
Publisher: Universitätsverlag Potsdam
ISBN: 3869562560
Category :
Languages : en
Pages : 248

View

Book Description

Author: Giese, Holger
Publisher: Universitätsverlag Potsdam
ISBN: 3869562463
Category :
Languages : en
Pages : 106

View

Book Description

Author: Meinel, Christoph
Publisher: Universitätsverlag Potsdam
ISBN: 3869562307
Category : Computers
Languages : en
Pages : 92

View

Book Description
Together with industrial partners Hasso-Plattner-Institut (HPI) is currently establishing a “HPI Future SOC Lab,” which will provide a complete infrastructure for research on on-demand systems. The lab utilizes the latest, multi/many-core hardware and its practical implementation and testing as well as further development. The necessary components for such a highly ambitious project are provided by renowned companies: Fujitsu and Hewlett Packard provide their latest 4 and 8-way servers with 1-2 TB RAM, SAP will make available its latest Business byDesign (ByD) system in its most complete version. EMC² provides high performance storage systems and VMware offers virtualization solutions. The lab will operate on the basis of real data from large enterprises. The HPI Future SOC Lab, which will be open for use by interested researchers also from other universities, will provide an opportunity to study real-life complex systems and follow new ideas all the way to their practical implementation and testing. This technical report presents results of research projects executed in 2011. Selected projects have presented their results on June 15th and October 26th 2011 at the Future SOC Lab Day events.

Author: Nico Herzberg
Publisher: Universitätsverlag Potsdam
ISBN: 3869562412
Category : Computers
Languages : en
Pages : 42

View

Book Description

Author: Mellado, Daniel
Publisher: IGI Global
ISBN: 1466620846
Category : Computers
Languages : en
Pages : 371

View

Book Description
Information technology in the workplace is vital to the management of workflow in the company; therefore, IT security is no longer considered a technical issue but a necessity of an entire corporation. The practice of IT security has rapidly expanded to an aspect of Corporate Governance so that the understanding of the risks and prospects of IT security are being properly managed at an executive level. IT Security Governance Innovations: Theory and Research provides extraordinary research which highlights the main contributions and characteristics of existing approaches, standards, best practices, and new trends in IT Security Governance. With theoretical and practical perspectives, the book aims to address IT Security Governance implementation in corporate organizations. This collection of works serves as a reference for CEOs and CIOs, security managers, systems specialists, computer science students, and much more.

Author: Calmez, Conrad
Publisher: Universitätsverlag Potsdam
ISBN: 3869562323
Category : Computers
Languages : en
Pages : 148

View

Book Description
Developing rich Web applications can be a complex job - especially when it comes to mobile device support. Web-based environments such as Lively Webwerkstatt can help developers implement such applications by making the development process more direct and interactive. Further the process of developing software is collaborative which creates the need that the development environment offers collaboration facilities. This report describes extensions of the webbased development environment Lively Webwerkstatt such that it can be used in a mobile environment. The extensions are collaboration mechanisms, user interface adaptations but as well event processing and performance measuring on mobile devices.

Author: Basil Becker
Publisher: Universitätsverlag Potsdam
ISBN: 386956217X
Category : Computers
Languages : en
Pages : 40

View

Book Description
Cyber-physical systems achieve sophisticated system behavior exploring the tight interconnection of physical coupling present in classical engineering systems and information technology based coupling. A particular challenging case are systems where these cyber-physical systems are formed ad hoc according to the specific local topology, the available networking capabilities, and the goals and constraints of the subsystems captured by the information processing part. In this paper we present a formalism that permits to model the sketched class of cyber-physical systems. The ad hoc formation of tightly coupled subsystems of arbitrary size are specified using a UML-based graph transformation system approach. Differential equations are employed to define the resulting tightly coupled behavior. Together, both form hybrid graph transformation systems where the graph transformation rules define the discrete steps where the topology or modes may change, while the differential equations capture the continuous behavior in between such discrete changes. In addition, we demonstrate that automated analysis techniques known for timed graph transformation systems for inductive invariants can be extended to also cover the hybrid case for an expressive case of hybrid models where the formed tightly coupled subsystems are restricted to smaller local networks.

Author: Eid-Sabbagh, Rami-Habib
Publisher: Universitätsverlag Potsdam
ISBN: 3869562579
Category :
Languages : en
Pages : 30

View

Book Description

Author: Stefan Neumann
Publisher: Universitätsverlag Potsdam
ISBN: 3869562269
Category : Computers
Languages : en
Pages : 82

View

Book Description
The proper composition of independently developed components of an embedded real- time system is complicated due to the fact that besides the functional behavior also the non-functional properties and in particular the timing have to be compatible. Nowadays related compatibility problems have to be addressed in a cumbersome integration and configuration phase at the end of the development process, that in the worst case may fail. Therefore, a number of formal approaches have been developed, which try to guide the upfront decomposition of the embedded real-time system into components such that integration problems related to timing properties can be excluded and that suitable configurations can be found. However, the proposed solutions require a number of strong assumptions that can be hardly fulfilled or the required analysis does not scale well. In this paper, we present an approach based on timed automata that can provide the required guarantees for the later integration without strong assumptions, which are difficult to match in practice. The approach provides a modular reasoning scheme that permits to establish the required guarantees for the integration employing only local checks, which therefore also scales. It is also possible to determine potential configuration settings by means of timed game synthesis.