05 Fakultät Informatik, Elektrotechnik und Informationstechnik
Permanent URI for this collectionhttps://elib.uni-stuttgart.de/handle/11682/6
Browse
2 results
Search Results
Item Open Access A method for describing, analyzing, and exploring visual art collections(2024) Pflüger, HermannVisual art collections are more than just sets of images. Behind a collection or an exhibition are the curator’s concept and the specific characteristics of the collection. A controlled vocabulary that takes into account the concept and the specific characteristics of a collection requires individual terms/concepts, and specific relationships between the concepts of the vocabulary. Furthermore, the granularity of a controlled vocabulary should be adapted to a particular concept of the collection, i.e., for some areas, the number of terms/concepts should be very high and specific; for other areas, concepts should be summarized to keep the complexity of the collection low and thus facilitate the handling and presentation of the collection. A LadeCA vocabulary is an extended controlled vocabulary that is particularly suitable for collections of works of art. LadeCA enables a user to describe, analyze, and explore art collections. LadeCA is also suitable for comparing the contents of different collections or different parts of a collection. The general concepts of a controlled vocabulary/thesaurus, their terms, and defined semantic relations between them can be automatically adopted in a LadeCA vocabulary so that the vocabulary only needs to be adapted for the current collection. The process of creating a LadeCA vocabulary for art collections is supported by three interactive interfaces that ensure that the intention behind a collection is taken into account, and that the creation effort is kept low. This article explains the process of creating LadeCA vocabularies for art collections and describes the initial experiences and results.Item Open Access Formal security analysis of the OpenID FAPI 2.0 Security Profile with FAPI 2.0 Message Signing, FAPI-CIBA, Dynamic Client Registration and Management : technical report(2023) Hosseyni, Pedram; Küsters, Ralf; Würtele, TimBuilding on our recent formal security analysis of the FAPI 2.0 Security Profile, we here extend the analysis effort to FAPI 2.0 Message Signing, combined with Dynamic Client Registration, Dynamic Client Management, and FAPI-CIBA. Overall, we model an ecosystem which uses all these profiles and extensions in parallel. Like the previous work on the FAPI 2.0 Security Profile, this analysis is based on the Web Infrastructure Model, a Dolev-Yao style model of the web infrastructure - in fact, it is the most comprehensive and detailed model of the web infrastructure to date. We identify several attacks, propose fixes and prove the fixed protocols secure with respect to authorization, authentication, session integrity for both authorization and authentication, and non-repudiation for the messages covered by FAPI 2.0 Message Signing. The attacks and proposed fixes have been reported to the responsible FAPI Working Group at the OpenID Foundation, and fixes have since been incorporated into the specifications.