Interoperable content protection for digital TV

\u3cp\u3eInteroperability in digital TV is still hampered by proprietary content protection systems. The OPIMA specification offers a generic solution for multimedia terminals, in which the end-user's terminal is adapted to a content protection system by downloading a corresponding plug-in. This paper describes the OPIMA solution and shows how it can be applied to digital TV.\u3c/p\u3

Interoperable protection for digital multimedia content

\u3cp\u3eInteroperability between systems for secure delivery of content (audio and video) over the Internet or via digital television broadcasting is still hampered by the lack of interoperability among proprietary content protection systems. The OPIMA (Open Platform Initiative for Multimedia Access) specification offers a generic solution for multimedia terminals, in which the end-user's terminal is adapted to a content protection system by downloading a corresponding plug-in. This paper describes the OPIMA solution and shows how it can be applied.\u3c/p\u3

Experience report on designing and developing control components using formal methods

This paper reports on experiences from an industrial project related to developing control components of an interventional X-ray system, using formal techniques supplied by the Analytical Software Design approach, of the company Verum. We illustrate how these formal techniques were tightly integrated with the standard development processes and the steps accomplished to obtain verifiable components using model checking. Finally, we show that applying these formal techniques could result in quality software and we provide supporting statistical data for this regard

Interoperable conditional access with video selective encryption for portable devices

The pay-TV industry seeks to extend its reach to portable display devices. At the same time, it seeks to ensure a horizontal market by making interoperable the Conditional Access Systems (CASs) employed to protect content. To achieve interoperability for such devices, this paper proposes a form of selective encryption for video that allows simultaneous distribution of a small percentage of video data on a per-CAS basis, allowing sharing of the unencrypted video between the CASs. The bitrate overhead for each additional CAS enabled is found to be on average 7.41 %, whereas the computational overhead amounts to no more than 40 ms for the benchmark sequences tested. Adaptation of CAS to transparent encryption of scalable video is also demonstrated in this paper

A Global Approach for Quantitative Super Resolution and Electron Microscopy on Cryo and Epoxy Sections Using Self-labeling Protein Tags

© 2017 The Author(s). Correlative light and electron microscopy (CLEM) is a powerful approach to investigate the molecular ultrastructure of labeled cell compartments. However, quantitative CLEM studies are rare, mainly due to small sample sizes and the sensitivity of fluorescent proteins to strong fixatives and contrasting reagents for EM. Here, we show that fusion of a self-labeling protein to insulin allows for the quantification of age-distinct insulin granule pools in pancreatic beta cells by a combination of super resolution and transmission electron microscopy on Tokuyasu cryosections. In contrast to fluorescent proteins like GFP organic dyes covalently bound to self-labeling proteins retain their fluorescence also in epoxy resin following high pressure freezing and freeze substitution, or remarkably even after strong chemical fixation. This enables for the assessment of age-defined granule morphology and degradation. Finally, we demonstrate that this CLEM protocol is highly versatile, being suitable for single and dual fluorescent labeling and detection of different proteins with optimal ultrastructure preservation and contrast