Der Entwurf strukturierter rollenbasierter Zugriffskontrollmodelle

Zusammenfassung. In diesem Beitrag wird ein formaler Ansatz zur Ableitung von Zugriffsrechten auf der Basis eines formalen Organisationsmodells vorgestellt. Hierzu wird der Ansatz der rollenbasierten Zugriffskontrolle (engl. Role-Based Access Control, kurz RBAC) um die M?glichkeit erweitert, Aufbauorganisationen zu modellieren. Der Vorteil gegenüber rollenbasierten Ans?tzen mit einfachen Rollenhierarchien ist die klare Struktur, die einem Zugriffskontrollmodell durch die Organisationsform aufgepr?gt wird. Des Weiteren k?nnen organisatorische Regelungen, wie z.B. Urlaubsvertretung oder Weisungsbefugnis, direkt im Modell hinterlegt werden. Aufwendig zu pflegende und h?ufig inkonsistente Rollenkataloge werden obsolet. Sicherheitsstrategien mit unpr?zisen Vorgaben lassen sich mittels der vorgestellten Technik der sog. `Kompetenzerweiterung' umsetzen. Das zugrundeliegende Paradigma des vorgestellten Ansatzes unterscheidet sich stark von anderen Ans?tzen mit statischer Autorisation. Nutzer k?nnen sich Zugriffsrechte in fest definierten Grenzen selbstverantwortlich zuteilen, wobei jedoch eine nachtr?gliche Kontrolle stark vereinfacht und damit praktikabel wird. Eingegangen am 22. Februar 2001 / Angenommen am 22. Mai 2001     

Wiederverwendbare Algorithmenschemata in ML am Beispiel von Graphdurchlauf-Problemen

Zusammenfassung. Die Programmierung von Algorithmenschemata durch die Parameterisierung von Programmteilen ist eine M?glichkeit der Wiederverwendung von Software. Dieser Ansatz wird insbesondere von der funktionalen Programmiersprache ML durch eine sehr ausgereifte Modulsprache mit Signaturen, Strukturen und strukturabbildenden Funktoren unterstützt. In diesem Artikel demonstrieren wir, wie man auf diese Weise Parameterisierung und Wiederverwendung realisieren kann. Dabei wird eine Anwendung, n?mlich schematischer Graphdurchlauf mit Vererbung und Synthese als Verallgemeinerung des vom übersetzerbau her bekannten Prinzips, im Detail vorgestellt; einige weitere Anwendungsbereiche werden skizziert. Eingegangen am 21. Februar 1996 / Angenommen am 20. August 1996     

Strategien zur webbasierten Multilingualen Fragebeantwortung

Zusammenfassung  Wir stellen eine Reihe von innovativen Methoden zur webbasierten multilingualen Fragebeantwortung in offenen Dom?nen vor. Insbesondere werden neuartige Strategien zur Bestimmung optimaler Antwortkontexte und zur Extraktion von exakten Antworten auf Basis von sprachunabh?ngigen, datengetriebenen maschinellen Lernverfahren beschrieben. Es werden zwei alternative Methoden für die crosslinguale Frageanalyse skizziert mit deren Hilfe für eine Anfrage in einer natürlichen Sprache Antworten in Dokumenten einer anderen natürlichen Sprache bestimmt werden k?nnen. Alle Methoden sind detailliert evaluiert und weisen eine vielversprechende Performanz auf. CR subject classification  I.2.6 ; I.2.7 ; J.1 ; K.3.2 ; D.3.3 ; D.2.2     

《文献通考·经籍考》——中国宋代重要的史志目录

简要介绍了《文献通考·经籍考》作者的生平与全书的编制体例及内容,同时力求中肯地评价这一重要的史志目录。     

人本主义教育观与大学英语分级教学

人本主义教育观在70年代兴起之后成为一种浪潮很快波及到了语言教育界。它的主要教育思想是以“学生为中心”,主张重视学生的情感诉求,认为教学活动应有助于学生的自我发现、内省和自尊。大学英语分级教学正是这种教育观的体现。本文首先介绍了人本主义教育思想的起源及其核心内容,然后阐述了这种理论在分级教学中的具体运用。     

农村合作经济组织增进融资绩效的机制分析

传统农村金融安排由于其制度上存在缺陷,不能有效地满足广大农户的金融需求,农村金融资源流失严重。农村合作经济组织是伴随农业产业结构调整而衍生出来的一种中介组织。当其以中间变量的形式存在于农村金融组织与农户之间后,便可以通过其组织职能、载体职能及中介与服务职能派生出多种机制来有效地降低农村金融交易费用,增进农户融资绩效。     

线性ε－相关及求解线性方程组的PABS方法

给出向量组的线性相关程度的一种定量刻划，提出线性ε－相（无）关的概念以代替经典的线性相（无）关概念，在此基础提出求解一大类线性方程组的新颖方法（称为ＰＡＢＳ方法），在有限步迭代内求出系数矩阵行向量组的ε－秩及ε－等价子方程组，继而求出其最小欧氏模解．方法特别适合于严重病态方程组求解，数值试验结果表明对于高阶Ｈｉｌｂｅｒｔ方程组，数值解精度甚高，优于其他方法．已研制成ＰＡＢＳ方法软件包，可嵌入其他数学软件库中或移植于其他语言或程序系统中     

马致远与李白抒情风格比较

诗与散曲体裁虽各有异,但同属于中国古代传统的抒情文学。比较马致远散曲与李白诗歌,可以见出李白对马致远的影响,以及他们二人抒情风格的异同。概言之:李白情感狂放而执着,抒情奔放飘逸,语言清新明丽;马致远情感超旷而愤懑,抒情奔迸沉抑,语言典雅清丽。     

对音乐艺术高职教育师资队伍建设的思考

在音乐艺术高等职业教育发展的过程中，师资队伍建设是一个非常重要的问题。章根据高职教育发展的需要和学院的实际情况，对加强师资队伍建设问题作了粗浅的探讨。