KeyNote

"Keynote yra paprastas ir lankstus pasitikėjimas valdymo sistema, skirta gerai dirbti programomis.
Pasitikėjimo valdymas, įvesta politikos formuotoją sistemos [BFL96], yra vienodas požiūris į nurodydama ir aiškinant saugumo politiką, įgaliojimai ir ryšiai; tai leidžia tiesiogiai leidimą saugumo kritiškai veiksmus. Pasitikėjimas valdymo sistema suteikia standartines, bendros paskirties mechanizmų nurodant programų saugumo politiką ir įgaliojimai. Pasitikėjimas valdymo įgaliojimai apibūdinti konkrečią delegaciją pasitikėjimo ir Subsumować viešųjų pagrindinių sertifikatų vaidmenį; skirtingai nei tradicinės sertifikatus, kurie jungiasi klavišus pavadinimų, įgaliojimai gali įpareigoti raktus tiesiai prie leidimo atlikti konkrečias užduotis.
   Kalba apibūdinti `veiksmus", kurios, operacijos su saugumo padarinių, kurie turi būti kontroliuojamas sistemoje.
   Mechanizmas nustatant `principus", kurie ūkio subjektai, kurie gali būti leista atlikti veiksmus.
   Kalba nurodant paraiškos `politiką", kurios reglamentuoja veiksmus, principai yra įgaliotas atlikti.
   Kalba nurodant `raštus", kurie leidžia direktoriams perduoti leidimus kitiems vadovams.
   "Atitikties tikrinimas", kuri teikia paslaugas paraiškų nustatyti, kaip veiksmų prašė vadovų turėtų būti tvarkomi, nes politiką ir įgaliojimų rinkinys.
Pasitikėjimu valdymo metodas turi pranašumų prieš kitus mechanizmus nurodant ir leidimą kontroliuoti skaičių, ypač kai saugumo politika yra platinamas per tinklą arba yra kitaip decentralizuota.
 Pasitikėjimo valdymas jungia saugumo politikos, įgaliojimai, prieigos kontrolės, ir leidimo sąvokas. Programa, kuri naudoja pasitikėti-vadybos sistema gali tiesiog paklausti, kaip laikomasi tikrintuvas, ar prašomo veiksmo turėtų būti leidžiama. Be to, politikos ir įgaliojimai yra parašyta standartinių kalbų, kurie yra bendri visoms patikos valdoma paraiškas; saugumo konfigūracija mechanizmas vieną paraišką atlieka lygiai tokį patį sintaksinę ir semantinę struktūrą, kaip ir kitos, net jei pačių programų semantika yra gana skirtingi.
Pasitikėjimas valdymo politika yra lengva platinti tarp tinklų, padeda išvengti konkrečios programos platinami politika konfigūracijos mechanizmus, prieigos kontrolės sąrašus, sertifikatų analizatorius ir žodžiu poreikį.
Dėl bendra diskusija dėl pasitikėjimo valdymo paskirstytos sistemos saugumo naudojimui, žr [Bla99].
Keynote yra paprastas ir lankstus pasitikėjimas valdymo sistema, skirta gerai dirbti didel ÷ s ir mažos apimties internetines programų. Ji suteikia vieną bendrą kalbą tiek vietos politikos ir įgaliojimai. Keynote politika ir įgaliojimai, vadinamas `teiginiai", yra predikatai, kurie apibūdina PATIKIMI veiksmus leidžiama pagal konkrečių viešųjų raktų turėtojams. Keynote teiginiai iš esmės yra mažos, labai struktūrizuoti programas. Pasirašė teiginys, kuris gali būti siunčiami per nepatikimo tinklo, taip pat vadinamas "Kvalifikacija teiginys". Išsilavinimo teiginiai, kurie taip pat tarnauja sertifikatų vaidmenį, turi tą pačią sintaksę kaip politikos teiginių, bet taip pat pasirašyta vykdytojo pavedusios pasitikėjimą.
Be Keynote:
    Veiksmai yra nurodyti kaip vardas vertės porų kolekciją.
    Pagrindiniai pavadinimai gali būti bet patogu eilutė ir gali tiesiogiai atstovauti kriptografijos viešųjų raktų.
    Pati kalba yra naudojama abiejų politikos ir įgaliojimai.
    Politika ir pažymėjimus kalba yra glausta, labai išraiškingas, žmogaus skaitoma ir rašyti, ir suderinama su saugojimo ir perdavimo žiniasklaidos, įskaitant elektroninio pašto įvairovė.
    Atitikties tikrinimas grąžina paraišką sukonfigūruotas `politika atitikties vertę", kuriame aprašoma, kaip prašymas turėtų būti tvarkomi taikant. Politikos atitikties vertės visada teigiamai kilęs iš politikos ir įgaliojimai, palengvinti analizę Keynote pagrįstas sistemas.
     Atitikties patikra yra pakankamai efektyvus aukštos kokybės ir realaus laiko programų.
Šis dokumentas apibūdina Keynote politiką ir prisijungimo duomenų teiginys kalba, keynote veiksmų aprašymo struktūrą ir Keynote modelį skaičiavimo.