\relax 
\bibstyle{alpha}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction}{1}}
\citation{BAN89}
\citation{SNS88,Linn90}
\citation{DES77,RSA78}
\citation{FuLa93}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Basic Security Notions}{2}}
\newlabel{basic}{{2}{2}}
\citation{Mull91}
\citation{DRKJ85,Vint88}
\citation{BeLa73,BrNa89,Mille89,TCSEC}
\citation{ScMa93,Matt93}
\citation{Card88c}
\citation{BuLa84,Card89}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}The Rationale Behind Tycoon}{3}}
\newlabel{rationale}{{3}{3}}
\citation{GaMa94}
\citation{MaSc94}
\citation{AtBu86}
\newlabel{example}{{3}{5}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}An Add-On Approach to Security}{5}}
\newlabel{integrating}{{4}{5}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.1}Tycoon's View on Security}{5}}
\citation{MaSc93b}
\citation{SNS88}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2}Add-On Security Libraries}{6}}
\newlabel{security-libs}{{4.2}{6}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {4.2.1}Authentication}{6}}
\newlabel{principal}{{4.2.1}{7}}
\@writefile{toc}{\string\contentsline\space {paragraph}{Component {\string\ptt\space Principal}}{7}}
\@writefile{toc}{\string\contentsline\space {paragraph}{Components {\string\ptt\space Credential} and {\string\ptt\space Encryption}}{7}}
\newlabel{private-safe}{{4.2.1}{8}}
\@writefile{toc}{\string\contentsline\space {paragraph}{Components {\string\ptt\space Private} and {\string\ptt\space Safe}}{8}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {4.2.2}Authorization}{8}}
\newlabel{subject}{{4.2.2}{9}}
\@writefile{toc}{\string\contentsline\space {paragraph}{Component {\string\ptt\space Subject}}{9}}
\newlabel{ac-models}{{4.2.2}{9}}
\@writefile{toc}{\string\contentsline\space {paragraph}{Access Control Models}{10}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.3}Example: A Secure Person Database}{11}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {1}{\ignorespaces The component structure of {\string\ptt\space SecurePersons}}}{12}}
\newlabel{Fig:SecurePerson-structure}{{1}{12}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}System Security Support}{13}}
\newlabel{system-support}{{5}{13}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.1}Configuration Scenarios}{14}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.2}Machine Level Security}{14}}
\newlabel{machine-level}{{5.2}{14}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.3}Object Store Level Security}{15}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6}Securing Applications}{15}}
\newlabel{securing}{{6}{15}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.1}Generation by Higher-Order Functions}{16}}
\newlabel{higher-order}{{6.1}{16}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.2}Generation by Code-Generators}{16}}
\citation{MaSc93b}
\citation{YaSn93}
\citation{MaSc94}
\bibdata{/users/dbis1/dbis/bib/dbis-macros,/users/dbis1/rudloff/Bib/ar}
\bibcite{AtBu86}{AB87}
\bibcite{BAN89}{BAN89}
\bibcite{BeLa73}{BL73}
\bibcite{BuLa84}{BL84}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {7}Concluding Remarks}{17}}
\newlabel{conclusion}{{7}{17}}
\bibcite{BrNa89}{BN89}
\bibcite{Card88c}{Car88}
\bibcite{Card89}{Car89}
\bibcite{DES77}{DES77}
\bibcite{DRKJ85}{DRKJ85}
\bibcite{FuLa93}{FL93}
\bibcite{GaMa94}{GM94}
\bibcite{Linn90}{Lin93}
\bibcite{Matt93}{Mat93}
\bibcite{Mille89}{Mil89}
\bibcite{MaSc93b}{MS93}
\bibcite{MaSc94}{MS94}
\bibcite{Mull91}{Mul91}
\bibcite{RSA78}{RSA78}
\bibcite{ScMa93}{SM93}
\bibcite{SNS88}{SNS88}
\bibcite{TCSEC}{TCS85}
\bibcite{Vint88}{Vin85}
\bibcite{YaSn93}{YS93}