This paper describes the development of Information System (IS) at Masaryk University in Brno. It supports full range of administrative and information functions in the study area, as well as some processes in research and development activities. Built on a relational database system with WWW server running applications written in scripting language, it ties together many of today’s technologie...

Recently, mesh networking and blockchain are two of the hottest technologies in the telecommunications industry. Combining both can reformulate internet access and make connecting to the Internet not only easy, but affordable too. Hyperledger Fabric (HLF) is a blockchain framework implementation and one of the Hyperledger projects hosted by The Linux Foundation. We evaluate HLF in a real produc...

Haptik is a component based library recently developed at the University of Siena. It allows easy but powerful low-level access to haptic devices, both in a uniform way, common to all devices, or in a more specialized one. Haptik addresses haptic device access. It is non-invasive and easily usable with existing applications. Its architecture guarantees a binary compatibility of applications wit...

The Web is moving from a collection of static documents to a set of Web Services. Search engines provide fast and easy access to existing Web pages, however up till now there is no comprehensive solution providing a similar easy and scalable access to Web Services. The European research project ServiceFinder aims at developing a platform for service discovery where service related information f...

last few weeks of life, etc.);[1,3] lack of easily accessible and affordable, clinically relevant information;[7] resource constraints;[8] and highly restrictive provisions for the use of morphine/opioid analgesics, thereby denying access to adequate pain relief (due to the belief that easy access may lead to drug abuse)[1,6] have been identified, which together are playing a crucial role in au...

The prevention of information flow is an important concern in several access control models. Even though this property is stated in the model specification, it is not easy to verify it in the actual implementation of a given security policy. In this paper we model-check rewrite-based implementations of access control policies. We propose a general algorithm that allows one to automatically iden...

A prerequisite for a widespread and successful deployment of on-demand ad-hoc networking technology is its ability to provide easy access to the Internet. Existing solutions for Internet access are mainly based on modifying Mobile IPv4 (MIPv4). An easier approach, yet poorly documented in published material, is to implement Network Address Translation (NAT) on Internet Gateway nodes in the ad h...

In this paper, we propose a lightweight mechanism to isolate one or more Android userland instances from a trustworthy and secure entity. This entity controls and manages the Android instances and provides an interface for remote administration and management of the device and its software. Our approach includes several security extensions for secure network access, integrity protection of data...