842 research outputs found
Formal analysis of XACML policies using SMT
No full textThe eXtensible Access Control Markup Language (XACML) has attracted significant attention from both industry and academia, and has become the de facto standard for the specification of access control policies. However, its XML-based verbose syntax and rich set of constructs make the authoring of XACML policies difficult and error-prone. Several automated tools have been proposed to analyze XACML policies before their actual deployment. However, most of the existing tools either cannot efficiently reason about non-Boolean attributes, which often appear in XACML policies, or restrict the analysis to a small set of properties. This work presents a policy analysis framework for the verification of XACML policies based on SAT modulo theories (SMT). We show how XACML policies can be encoded into SMT formulas, along with a query language able to express a variety of well-known security properties, for policy analysis. By being able to reason over non-Boolean attributes, our SMT-based policy analysis framework allows a fine-grained policy analysis while relieving policy authors of the burden of defining an appropriate level of granularity of the analysis. An evaluation of the framework shows that it is computationally efficient and requires less memory compared to existing approaches
Turkmen dynasties in Ottoman historiography "Aqquyunlus and Karaqoyunlus"
No full textMoğol istilası sırasında Anadolu'ya göç eden Türkmen nüfuzunun, Anadolu'nun Türkleşmesinde ve İslamlaşmasında önemli rolü olmuştur. Bu Türkmen aşiretleri birer konfederasyonu olan Akkoyunlu ve Karakoyunlu Devletleri, Ön Aysa Türk İslam Tarihinin ayrılmaz bir parçasını oluşturmaktadır. Bu çalışmanın amacı Osmanlı tarih yazarlarının Akkoyunlu ve Karakoyunlu Devletlerine karşı yaklaşımlarını ortaya koymaktır. Çünkü Osmanlı tarih yazıcılığına baktığımız zaman iki Türk imajıyla karşılaşıyoruz. Bunlardan birincisi Osmanlı Devleti'nin kurucusu, bir Türkmen olan Kınık boyu Türkleridir. İkincisi ise Osmanlı'nın Anadolu politikasında rakipleri olan Türkmen imajıdır. Bu Türkmen hanedanlarını Osmanlı için büyük bir tehlike olarak gören Osmanlı tarih yazarları, Türkmenleri düşman konumunda kaleme almışlardır. Biz bu araştırmamızda, Osmanlı kaynaklarından hareketle Akkoyunlu ve Karakoyunlu Devletlerine dair kavramları , siyasi münasebetleri incelemeye çalıştık. Anahtar Kelimeler: Akkoyunlu Devleti, Karakoyunlu Devleti, Osmanlı Deveti, Uzun Hasan, Timur, Fatih Sultan Mehmed, Kara Yusuf.
ABSTRACT The Turkmen population, who migrated to Anatolia during the Mongol invasion, played an important role in the Turkification and Islamization of Anatolia. The Aqquyunlu and Qaraquyunlu States, which had confederation of these Turkmen tribes, form an integral part of the Turkic Islamic history of the Pre Asia. The aim of this study is to reveal the approach of Ottoman historical writings against the Aqquyunlu and Qaraquyunlu States. Because when we look at Ottoman historiography we encounter two Turkish images. The first of these is the Kınık tribe Turks, who were the Turkmen, and were the founder of the Ottoman Empire. The second is the image of Turkmen, who were their rivals in the Ottoman policy of Anatolia. The Ottoman history writers, who saw these Turkmen dynasties as a great danger for the Ottomans, wrote the Turkmen as enemies. In this study, we tried to examine the concepts of daid and political influences to the Aqquyunlu and Qaraquyunlu States from the Ottoman sources. Keywords: Aqquyunlu States, Qaraqoyunlu States, Ottoman States, Uzun Hasan, Timur, Fatih Sultan Mehmed, Gara Yusuf
Comparing the vocabulary of contemporary Turkmen Turkish and the vocabulary of Old Turkish
No full textBu çalısmada, Güney-Batı ya da Oguz grubu lehçelerinden biri olan ve
tek basına bu grubun dogu kolunu temsil eden Türkmen Türkçesinin kelime
hazinesi ile Köktürk, Uygur ve Karahanlı Türkçesini içine alan Eski Türkçenin
kelime hazinesi ses ve anlam bakımından karsılastırılarak incelenmistir.
Çalısma Giris, Köktürk Türkçesinden Türkmen Türkçesine Geçen
Kelimelerin Ses ve Anlam Bakımından Karsılastırılması, Uygur
Türkçesinden Türkmen Türkçesine Geçen Kelimelerin Ses ve Anlam
Bakımından Karsılastırılması, Karahanlı Türkçesinden Türkmen Türkçesine
Geçen Kelimelerin Ses ve Anlam Bakımından Karsılastırılması ve Sonuç
bölümlerinden meydana gelmektedir.
Çalısmanın giris bölümü Köktürkler, Uygurlar, Karahanlılar ve
Türkmenler olmak üzere dört ana bölümden olusmaktadır. İlk bölümde
Köktürkler, Köktürklerden kalan eserler ve Köktürk Türkçesinin baslıca ses
özellikleri; ikinci bölümde Uygurlar, Uygurlardan kalan eserler ve Uygur
Türkçesinin baslıca ses özellikleri; üçüncü bölümde Karahanlılar,
Karahanlılardan kalan eserler ve Karahanlı Türkçesinin baslıca ses
özellikleri; dördüncü bölümde Türkmen adının ortaya çıkması ve anlamı,
Türkmen tarihi, Türkmenler ve Türkmenistan Cumhuriyeti, Türkmen Türkçesi
ve Türkmen Türkçesinin baslıca ses özellikleri hakkında genel bilgiler
verilmistir.
Çalısmanın birinci bölümünde Köktürk Türkçesinden Türkmen
Türkçesine geçen kelimeler ses ve anlam bakımından karsılastırılarak
incelenmis ve ses degismesine ugramamıs ve anlam bakımından da
farklılasmamıs olan kelimeler, ses degismesine ugramamıs ancak anlam
bakımından farklılasmıs olan kelimeler, ses degismesine ugramıs ancak
anlam bakımından farklılasmamıs olan kelimeler olmak üzere üç gruba ayrılmıstır. Daha sonra ses degismesine ugramıs olan kelimelerdeki ünlü
degismeleri ve ünlü olayları ile ünsüz degismeleri ve ünsüz olayları
verilmistir. Çalısmanın ikinci ve üçüncü bölümleri olan Uygur Türkçesinden
Türkmen Türkçesine Geçen Kelimelerin Ses ve Anlam Bakımından Karsılastırılması ile Karahanlı Türkçesinden Türkmen Türkçesine Geçen
Kelimelerin Ses ve Anlam Bakımından Karsılastırılması bölümlerinde de
aynı yöntem uygulanmıstır.
Sonuç bölümünde ise; her dönem için ayrı olmak üzere Köktürk, Uygur
ve Karahanlı Türkçesinden Türkmen Türkçesine geçen toplam kelime sayısı,
yine her dönem için ayrı olmak üzere bu toplam içinde ses degismesine
ugramamıs ve anlam bakımından da farklılasmamıs olan kelimelerin sayısı,
ses degismesine ugramamıs ancak anlam bakımından farklılasmıs olan
kelimelerin sayısı, ses degismesine ugramıs ancak anlam bakımından
farklılasmamıs olan kelimelerin sayısı verilmistir. Ayrıca ses degismesine
ugramıs olan kelimelerdeki ünlü degismeleri ve ünlü olayları ile ünsüz
degismeleri ve ünsüz olayları ile ilgili kelime sayıları da verilmistir. Son olarak
da her üç dönemde de ses degismesine ugramamıs ve anlam bakımından da
farklılasmamıs olan kelimelerin sayısı, her üç dönemde de ses degismesine
ugramamıs ancak anlam bakımından farklılasmıs olan kelimelerin sayısı, her
üç dönemde de ses degismesine ugramıs ancak anlam bakımından
farklılasmamıs olan kelimelerin sayısı belirtilmis ve bu kelimeler tablo halinde
bir arada verilmistir.In this work, the vocabulary of Turkmen Turkish which is one of the
dialects of Southwest or Oguz-group and represents East branch of this
group individually and the vocabulary of Old Turkish which consists of
Orkhun Turkish, Uighur Turkish and Karakhanid Turkish have been
examined by comparing them on the basis of phonetics and semantics.
The study consists of two parts: introduction which includes the
comparison of the words passing from Orkhun Turkish to Turkmen Turkish
on the basis of phonetics and semantics, the comparison of the words
passing from Uighur Turkish to Turkmen Turkish on the basis of phonetics
and semantics, the comparison of the words passing from Karakhanid
Turkish to Turkmen Turkish on the basis of phonetics and semantics and
conclusion.
The introduction of the study consists of 4 main parts, that is, Orkhun
Turkish, Uighur Turkish, Karakhanid Turkish and Turkmen Turkish. In the first
part, general information on Orkhun, the works remaining from Orkhun, and
the phonetics of Orkhun Turkish has been given; in the second part, general
information on Uighur, the works remaining from Uighur, and the phonetics of
Uighur Turkish has been given; in the third part, general information on the
Karakhanid, the works remaining from Karakhanid, the phonetics of the
Karakhanid Turkish has been given; in the forth part , general information on
the appearance of the term Turkmen and its meaning, the history of
Turkmen, Turkmen and Turkmen Republic, Turkmen Turkish and the
phonetics of Turkmen Turkish has been given.
In the first part of the study the words passing from Orkhun Turkish to
Turkmen Turkish have been examined on the basis of phonetics and
semantic and it has been divided into 3 groups: the words which haven't
experienced any phonetic and semantic transformation, the words which
haven't experienced any phonetic transformation, but they have experienced
semantic transformation and the words which have experienced phonetic
transformation, but they haven't experienced any semantic transformation.
Then vowel transformation and vowel phenomena, consonant transformation
and consonant phenomena have been given among the words which have
experienced phonetic transformation. The same method has been applied for
the second and the third parts of the study, that is, the parts: the comparison
of the words passing from Uighur Turkish to Turkmen Turkish on the basis of
phonetics and semantics, the comparison of the words passing from
Karakhanid Turkish to Turkmen Turkish on the basis of phonetics and
semantics.
In the conclusion the number of words passing from Orkhun Turkish,
Uighur Turkish and Karakhanid Turkish to Turkmen Turkish has been given
separately for each period and the number of words which haven't
experienced any phonetic and semantic transformation, the number of words
which haven't experienced any phonetic transformation but they have
experienced semantic transformation, the number of words which have
experienced phonetic transformation, but they haven't experienced any
semantic transformation have been given. In addition to this, the number of
words related with the vowel transformation and vowel phenomena,
consonant transformation and consonant phenomena among the words
which have experienced phonetic transformation has been given. Finally, the
number of words which haven't experienced any phonetic transformation and
semantic transformation, the number of words which haven't experienced
any phonetic transformation but they have experienced semantic
transformation, the number of words which have experienced phonetic
transformation, but they haven't experienced any semantic transformation in
each period has been stated and these words have been given on a chart
An Ottoman occidentalist in Central Asia: Mehmet Efendi meets the Turkmen Tribes in 1877
No full textMehmet Fatih Seyhanogl
A General Overview of Turkmen Epics Türkmen Destanlarına Genel Bir Bakış
No full textEpics are one of the most important elements of Turkish culture and civilization. Turks have a tradition of singing epics, performed in the victory fields after a war, after a very fruitful hunt, and at wedding ceremonies held for occasions such as weddings and child naming. Epics have survived to this day as a common sense of entertainment for the rulers and the ruled in the ancient Turks from the earliest times. Epic epics of the Turkish world can be defined in their simplest form as the life stories or stories of heroic adventures of a hero or group of heroes with extraordinary characteristics., Epics have a very different place and importance in the Turkmen narrative tradition. Archaic epics such as Han-name and Oğuzname, which are mentioned in historical records and related to the origin of the Turks or Oghuzs, and the narratives in the Book of Dede Korkut, which is about the lifestyle of the Oghuzs, are of great historical and cultural importance for the Turkmens. The Ottoman Empire is mentioned as a nation of Turkmen origin in works written in Egypt, Syria and Iran. There are statements in Ottoman sources that their roots come from the Oghuz provinces. It can be said that Turkmens were the founders of the period of Principalities, one of which was the Ottomans, which was the second period of Turkey's history. In this study, we will try to convey information about the epics, their performers and their characteristics, which are very rich oral tradition products in Turkmen folk literature, which constitute a part of the great Turkish cultural treasury, and briefly about the epic tradition, and an evaluation will be made about Turkmen epic writing by bringing together the information obtained from various sources
Analysis of XACML policies with SMT
Get PDFThe eXtensible Access Control Markup Language (XACML) is an extensible and flexible XML language for the specification of access control policies. However, the richness and flexibility of the language
(along with the verbose syntax of XML) come with a price: errors are easy to make and difficult to detect when policies grow in size. If these errors are not detected and rectified, they can result in serious data leakage and/or privacy violations leading to significant legal and financial consequences. To assist policy authors in the analysis of their policies, several policy analysis tools have been proposed based on different underlying formalisms. However, most of these tools either abstract away functions over non-Boolean domains (hence they cannot provide information about them) or produce very large encodings which hinder the performance. In this paper, we present a generic policy analysis framework that employs SMT as the underlying reasoning mechanism. The use of SMT does not only allow more fine-grained analysis of policies but also improves the performance. We demonstrate that a wide range of security properties proposed in the literature can be easily modeled within the framework. A prototype implementation and its evaluation are also provided
Turkmen-origin revolts seen in the Seljuk State of Turkey after Mongolian invasion.
No full textTEZ12763Tez (Yüksek Lisans) -- Çukurova Üniversitesi, Adana, 2020.Kaynakça (s. 66-70) var.X, 70 s. :_res. (bzs. rnk.), tablo ;_29 cm.Türkiye Selçuklu Devleti 627/1230 yılında Yassı Çimen Savaşı’nda Hârizmşahlar’ı mağlup ederek bu devletin yıkılmasına zemin hazırlamıştır. Savaş sonrasında Türkiye Selçuklu Devleti Moğollar ile komşu devlet olmuştur. Bunun sonucu olarak da Moğollar istilâ faaliyetlerini gerçekleştirmek için yönünü zayıflamaya başlayan Anadolu topraklarına çevirmiştir. II. İzzeddin Keykâvus dönemine kadar az sayıda görülen dini-siyasi ya da sadece dini kökenli gerçekleşen Türkmen isyanları II. İzzeddin Keykâvus döneminden sonra sayısal olarak ani bir artış göstermiştir. İsyanların sebepleri arasına ekonomik sıkıntılar da girmiştir. Türkmen isyanlarının bu derece artması ve amacının değişiklik göstermesinin temel sebebini 634/1243 Kösedağ Savaşı ile devletin gerileme ve çöküş dönemine girmesinin ardından Moğollara verilen yüklü vergilere bağlayabiliriz. Moğol istilâları Türkiye Selçuklu Devleti’ni dıştan parçalamaya çalışırken; Türkmen isyanları, kabiliyetsiz devlet adamları, devleti yönettiği bilincinde olmayan Sultanlar da devletin içten çökmesine sebep olmuştur. Çalışmamızda Moğolların Anadolu topraklarını istilâ etmesinin akabinde Türkiye Selçuklu Devleti’nin yıkılmasına zemin hazırlayan önemli etkenlerden Türkmen kökenli isyanlar ve bunlara neden olan faktörler birlikte ele alınmıştır.The Seljuk State of Turkey defeated the Kharzem shah state in the Battle of Yassı Çimen in 627/1230, leading up to the destruction of this state. After the war, the Seljuk State of Turkey became a neighboring state with the Mongols. Consequently, the Mongols turned to Anatolian lands, which began to weaken, in order to carry out their invasion activities. Turkmen revolts of religious-political or purely religious origin, which were seen in small numbers until the reign of Izzeddin Keykavus II, showed a sudden numerical increase after the reign of Keykavus II. Economic troubles were among the causes of the revolts. The main reason for the increase of Turkmen rebellions and the change of purpose can be attributed to the heavy taxes given to the Mongols after the state entering a period of regression and collapse with 634/1243 Kösedag War. Mongol invasions while tried to tear apart the Seljuk State of Turkey from the outside; Turkmen revolts, incompetent statesmen, sultans who were unaware of the state's rule also led to the internal collapsing of the state. In our study, Turkmen origin revolts and the factors that led to the destruction of the Seljuk State of Turkey after the Mongols invaded Anatolian lands were discussed together
Thematic analysis on fatih Emirhan’s povests (Fethulla hazret, hayat, şefigulla agay)
No full textBu tez çalışmasının amacı Fatih Emirhan’ın “Fethulla Hazret”, “Hayat”, “Şefigulla Agay” uzun hikâyelerinin tematik yönden incelenmesidir. Fatih Emirhan, Tatar edebiyatının önemli yazarlarından biridir. Tatar edebiyatına hikâyeleri ve drama eserleri ile katkıda bulunmuştur. Yazarın eserlerini incelemeden önce “Tatar Türkleri ve Tarihi”, “20. Yüzyıl Tatar Edebiyatı”, “Tatar Edebiyatında Hikâye ve Uzun Hikâye” hakkında bilgiler verilecektir. Devamında “Fatih Emirhan’ın Hayatı, Edebi Kişiliği ve Eserleri” ele alınacaktır. Ayrıca bu bölümde “Fatih Emirhan’ın Eserlerinde Kadınların Özgürlüğü” başlığı altında bilgiler verilecektir. Son bölümde Fatih Emirhan’ın uzun hikâyelerinin özetlerine yer verilecek ve bahsi geçen bu eserlerin tema incelemesi yapılacaktır. Bu çalışmayı diğerlerinden ayırannokta, Fatih Emirhan’ın hayatı ve eserleri üzerinde böyle bir çalışmanın daha önce ayrıntılı yapılmamış olmasıdır. Bu çalışma ile Fatih Emirhan’ın duygu ve düşünceleri dile getirilmeye çalışılacaktır.The aim of this thesis is to examine Fatih Emirhan's “Fethulla Hazret”, “Hayat”, and “Şefigulla Agay” povests **thematically. Fatih Emirhan is one of the important writers of Tatar Literature. He contributed to Tatar Literature with his stories and drama works. Before examining the works of the author, firstly “Tatar Turks and History,” “20th Century Tatar Literature,” and “Story and Povest in Tatar Literature” will be given. Afterwards, “Fatih Emirhan’s Life, Literary Personality, and Works” will be discussed. In addition, in this section, information will be given under the title of “The Freedom of Women in the Works of Fatih Emirhan”. In the last section, summaries of Fatih Emirhan's long stories will be given and thematic analysis of these works will be made. The point that distinguishes this study from others is that such a study on Fatih Emirhan's life and works has not been done in detail before. With this study, Fatih Emirhan's feelings and thoughts will be tried to be expressed
A Comparative analysis of the khosrow and shirin miniatures in the 15th century Timur and Turkmen period nizami khamsas (Tsmk)
No full textÖZET Bu çalışmada TSMK'da bulunan, 15. yüzyıl Timur ve Türkmen dönemi Nizamî Hamselerindeki (TSMK) Hüsrev ve Şirin minyatürlerinin karşılaştırmalı analizinin yapılması amaçlanmıştır. Araştırmamızda yirmi sekiz yazma eser bulunmaktadır. Eserler cilt kapakları, mühürleri, serlevha ve bölüm başı tezhipleriyle beraber incelenerek, detaylı şekilde analiz yapılması hedeflenmiştir. Tasvirlerin aynı yüzyıl ve coğrafya içinde Timurlu ve Türkmen olarak ayrılmasının tespit edilmesi zor olduğu kadar, karmaşık ve iç içe geçmiştir. Kronolojik olarak sıraladığımız 15. yüzyılın başından sonuna kadar tarihlenen bu resimli nüshaların üslup özellikleri, teknik analizleri yapılmış ve bu doğrultuda ikonolojik sonuçlar çıkarılmaya özen gösterilmiştir. Dönemler incelendiğinde, Hüsrev ve Şirin bölümlerine konu olan minyatürlerin genellikle aynı sahneler üzerinde yoğunlaşıp, konu olarak belli başlı olayların resmedilmek için seçildiği fark edilmiştir. Seçilen sahnelerin bir yüzyıl boyunca değişmemesi, eserlerin şablon şekilde benzerlik göstermesi dikkat çekmiştir. Dönemin sanat hâmilerinin talepleriyle yapılmış yazma eserlerde minyatür tasarımı ve kompozisyon kurgusu son derece gelişmiştir. Çalışmanın sonunda ortak coğrafyada aynı zaman içerisinde oluşmuş minyatürlerin arasında karşılaştırma yapılarak benzerlik ve farklılıklar üzerinde durulmuştur. Anahtar kelimeler: Timurlu, Türkmen, Minyatür, Yazma Eserler, TSMK.ABSTRACT This study aims to conduct a comparative analysis of the Khusraw and Shirin miniatures found in the 15th-century Timurid and Turkmen period Hamse-i Nizamî manuscripts in the Topkapi Palace Museum (TSMK). Our research includes twenty-eight manuscripts. The works are analyzed in detail, considering their bindings, seals, title pages, and initial illuminations. The task of distinguishing between Timurid and Turkmen miniatures within the same century and geographical region is challenging, as they are complex and interwoven. These illustrated manuscripts, dated from the beginning to the end of the 15th century, have been analyzed in terms of their stylistic features and technical aspects, and iconological results have been drawn accordingly. Upon examining the periods, it was noted that the miniatures depicting the Khusraw and Shirin sections generally focus on the same scenes, and specific major events were chosen as the subject matter. The fact that the selected scenes remained unchanged for a century and that the works exhibit similar templates is striking. Miniature design and compositional arrangement in manuscripts created under the patronage of the period's art patrons were highly developed. At the end of the study, a comparison was made between the miniatures created in the same geographical area during the same period, emphasizing their similarities and differences. Keywords: Timurid, Turkmen, Miniature, Manuscripts, TSMK
- …
