Aa!Tr}  0 PPp0P 0@p0@`@ HH $ @d HHHH̀̀̀ff@  d Footnote TableFootnote**.\t.\t/ - :;,.!? - a;- dxTOCHeading1Heading2   ZEquationVariablesI?@>@@A A#A@??? <$lastpagenum><$monthname> <$daynum>, <$year>"<$monthnum>/<$daynum>/<$shortyear>J<$hour>:<$minute00> <$ampm> on <$dayname>, <$monthname> <$daynum>, <$year>"<$monthnum>/<$daynum>/<$shortyear><$monthname> <$daynum>, <$year>"<$monthnum>/<$daynum>/<$shortyear> <$fullfilename> <$filename> <$paratext[Title]> <$paratext[Heading1]> <$curpagenum> <$marker1> <$marker2> (Continued)+ (Sheet <$tblsheetnum> of <$tblsheetcount>)Heading & Page <$paratext> on page<$pagenum>Pagepage<$pagenum>See Heading & Page%See <$paratext> on page<$pagenum>. Table All7Table<$paranumonly>, <$paratext>, on page<$pagenum>Table Number & Page'Table<$paranumonly> on page<$pagenum> Handout DateJanuary 7, 1999Heading <$paratext>A~HTMLHeadings2A;;==??Ac5y??? 5 5*D1.Db.?*???"?$?& ?( ?* ?, ?. ?0 ?2 ?4 ?6 ?8 ?: ?< ?> ?@ ?B ?D ?F ?H ?J ?L ?N ?P ?R ?T ?V Dka.>+Dl2.?X ?Z ?\ ?^ ?` ?b FT FV ?f ?h ?j ?l ?n ?p ?r ?t ?v ?x Fx Fz ?| ?~ ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? F F ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? G G ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? GD GF ? ? ? @ @ @ @ @ @  @  @ @ @ @ @ @ @ @ @ @  @" @$ ABADAFAH AJ AL AN APAR AT@& @( @* @, @. @0 @2 @4 @6 @8 @: @< @> @@ @B @D @F @H @J @L @N @P @R @T @V @X @Z @\ @^ @` @b @d @f @h @j @l @n @p @r @t @v @x @z @| Dma.@~ @ @ @@Dnb.Doc.Dpd.@@ @ @ @ AVAX AZ@ @ @ @ @ A\A^ @ @ @ @ @ @ @ @ @ @@@@ @ @ @ @ @ @ @ @ @ @ @ @ @ @ !Ae@ @ @ @ @ @ @ @ @ @ @ @ H H H% @@@@ @ @ @ A A EkEm Eo A AAAA A A A A A A  A" A%A'A)A+ A- A/ A1 A3 A5 A6Dq3.Dra.Dsb.Dtc.Dud.Dve.Dwf.Dx4.Dya.Dzb.D{c.D|d.D}e.D~5.Da.Db.Dc.Dd.D6.Da.D&c.D D7.Da.Db.Dc.D8.Da.Db.Dc.Dd.De.D 9.D a.D b.D c.D d.D e.D f.D g.D D D D D D D D E E E E E  E  E  E E Eq Es Eu Ew Ey E{ E} H' H) H+ D%H- H/ H1 H3 H5 H7 H9 H; H= H? HA HC HE HG HI HK HM HO HQ HS HU HW HY H[ H] H_ Ha Hc He Hg Hi H H H H H H I I I I I I rdqdD22d? HmR? HmRHRHRFootnote Hr@? Hr@HzHz Single LineH? Footnote ?   HD?  HDHH Double LineH? Double Line? ? H?  Single Line? HZ?  TableFootnote EGxR?EGxREPwEPw TableFootnoted5p HHˆ5xHHˆGe HHˆ5zHHˆld?d?dHl d?d9'v'mhc^^adgjmpvy| #'+/ADROL963W3Bm       }d ?!d WeHTML Mapping Table }Hd ?Hd We }Hd ?Hd We HUV 5HUV Ge HUV 5HUV l H$ 5H$ Ge H$ 5H$ l HHˆ5HHˆk11( `Outline for May 18, 2000 `Greetings and felicitations! '`1A bit about the penetration stuff for homework 3 )D`Verifiably Secure Systems LP`#Review notion of reference monitor R` Review notion of trusted path S`NIsolate all control functions into a small nucleus called a security kernel T`Review Levels of Abstraction 4`UCLA Secure UNIX 5`2Each user process in separate domain, with 2 part 6`&Application program runs in user mode 7`EUNIX interface and Kernel Interface SubSystem run in supervisor mode 8`*Protection domain represented by a C-List 9`EPolicy manager establishes policies for kernel objects, shared files :`8Dialoguer establishes trusted path between user, kernel ;ت` Verification <䪛`Top level specification =`Abstract level specification >`Low level specification !? jCode satisfying specifications: formulate specs in terms of abstract machines with states and transitions qsuch that protected objects may be modified or read  only  by explicit request; and all accesses must be @ authorized @`MVerify code implementations satisfies low level specs, all levels consistent A:`KSOS BF`5Kernel is an operating system, not a security kernel C`?Enforces access control policy, including multi-level security D`4Handles files, type extensions la DOS and TOPS-20 E`KUNIX emulator, trusted non-lernel system software run in supervisor mode Fx`PSOS G`1Capabilities at lowest level used for addressing `V15 layers; all below 8 invisible at user interface, except level 4 (basic operations) aH PSOS Hierarchy 16.Command interpreter '15.User environments and name space 14.User input/output 13.Procedure records .12.User processes and visible input/output )11.Creation, deletion of user objects 10.Directories 9.Abstract data types #8.Virtual memory (segmentation)  7.Paging .6.System processes and system input/output 5.Primitive input/output -4.Basic arithmetic and logical operations  3.Clocks 2.Interrupts 1.Real memory @0.Capabilities HHˆ5HHˆ2l}Hd ?!Hd W e }Hd ?#Hd W e }H&?%"H&% FrameMaker PE Source Item }H ?'!$H We HTML Item }H ?)H We }H&?+"%H& WeInclude Auto# } H&?-$' H& We Comments }H?/H We }HH?1%(HH WeElement }H?3'+H%New Web PEPage? }H?5H We } H?7 H We }H ?9(,H We P:Date Line }HH ?;+-HH WeP }H ?=,.H WeN }H ??-/H WeN } H ?A.0 H We }EH ?C/1EH We P:Reading }HEH ?E02HEH WeP }EH ?G13EH WeN }EH ?I24EH W eN } EH ?K35 EH W!e }QH ?M46QH W"eP:Title }HQH ?O57HQH W#eH* }QH ?Q68QH W$eN }QH ?S79QH W%eN } QH ?U8: QH W&e }]H ?W9;]H W*eP:Body }H]H ?Y:<H]H W+eP }]H ?[;=]H W,eN }]H ?]<>]H W-eN } ]H ?_=? ]H W.e }iH(?a>@iH( W/e P:Numbered1 }HiH(?c?AHiH((2eLI 0e Parent = OL Q1e Depth = 0 }iH(?g@BiH( W3eN }iH(?iACiH( W4eY } iH(?kBD iH( W5e }H ?mCEH  W6e P:Heading1 }HH ?oDFHH  W7eH* }H ?qEGH  W8eN }H ?sFHH  W9eN } H ?uGI H  W:e }H(?wHJH(  W;e P:Numbered }HH(?yIKHH(( >eP <e Parent = OL Q=e Depth = 0 }H(?}JLH(  W?eN }H(?KMH(  W@eY } H(?LN H(  WAe }H ?MOH  WBe P:CellBody }HH ?NPHH  WCeP }H ?OQH  WDeN }H ?PRH  WEeN } H ?QS H  WFe }H ?RTH  WGeP:CellHeading }HH ?SUHH  WHeP }H ?TVH  WIeN }H ?UWH  WJeN } H ?VX H  WKe }H ?WYH  WLe P:Footnote }HH ?XZHH  WMeP }H ?Y[H  WNeN }H ?Z\H  WOeN } H ?[] H  WPe }H(?\^H( WQe P:Bulleted }HH(?]_HH((TeLI Re Parent = UL QSe Depth = 0 }H(?^`H( WUeN }H(?_aH( WVeN } H(?`b H( WWe }H ?acH WXe P:Heading2 }HH ?bdHH WYeH* }H ?ceH WZeN }H ?dfH W[eN } H ?eg H W\e }H?fhH]% P:HeadingRuPEnIn }HH?giHH W^eP }H?hjH W_eN }H?ikH W`eN } H?jl H Wae }7H ?km7H Wbe P:Indented }H7H ?lnH7H WceP }7H ?mo7H WdeN }7H ?np7H WeeN } 7H ?oq 7H Wfe }CH?prCHg% P:TableFootPEnote }HCH?qsHCH WheP }CH?rtCH WieN }CH?suCH WjeN } CH?tv CH Wke }]H(?uw]H( Wle P:TableTitle }H]H(?vxH]H((oeLI me Parent = OL Qne Depth = 0 }]H(?wy]H( WpeN }]H(?xz]H( WqeN } ]H(?y{ ]H( Wre }H ?z|H Wse P:BodySpaced }HH ?{}HH WteP }H ?|~H WueN }H ?}H WveN } H ?~ H Wwe }H ?H WxeP:Date }HH ?HH WyeP }H ?H WzeN }H ?H W{eN } H ? H W|e }H(?H(}% P:NumberedPESpaced }HH(?HH((eP ~e Parent = OL Qe Depth = 0 }H(?H( WeN }H(? H( WeY } H(? H( We }H @ H WeP:DateProject }HH @ HH WeP }H @ H WeN dA=dA> dl dA? diYWBm  }d AA d !WeHeadings Table }Hd AC Hd !We }Hd AE Hd !We }HAG H "WeHeading Level }HHAI HH"%Paragraph ForPEmat }HAK H "We Comments }HAM H#W e2 }HHAO HH #We Heading1 }HAQ OH #We }H @ H WeN } H @  H We }H @ H W e C:BoldItalic }HH @ HH W eSTRONG }H @H W eN }H @H W eN } H @ H W e }H@!H% C:EquationPE Variables }HH@ "HH WeEM }H@!#H WeN }H@"$H WeN } H@#% H We }H @$&H We C:Italic }HH @!%'HH WeEM }H @#&(H WeN }H @%')H W eN } H @'(* H W!e }H @))+H W"eC:Bold }HH @+*,HH W#eSTRONG }H @-+-H W$eN }H @/,.H W%eN } H @1-/ H W&e }H@3.0H'% X:Heading & PEPage }HH@5/1HH W(e See Also }H@702H W)eN }H@913H W*eN } H@;24 H W+e })H @=35)H W,eX:Page }H)H @?46H)H W-e See Also })H @A57)H W.eN })H @C68)H W/eN } )H @E79 )H W0e }5H@G8:5H1% X:See HeadPE ing & Page }H5H@I9;H5H W2e See Also }5H@K:<5H W3eN }5H@M;=5H W4eN } 5H@O<> 5H W5e }OH @Q=?OH W6e X:Table All }HOH @S>@HOH W7e See Also }OH @U?AOH W8eN }OH @W@BOH W9eN } OH @YAC OH W:e }[H@[BD[H ;% X:Table NumPE ber & Page }H[H@]CEH[H  W<e See Also }[H@_DF[H  W=eN }[H@aEG[H  W>eN } [H@cFH [H  W?e }uH@eGJuH $W@e X:Heading HHˆDHHˆ'..2J` Verification K`YHierarchical Decomposition Methodology breaks system into hierarchy or abstract machines L`Specify each module in SPECIAL !M >Functions: primitive V-functions give value of state variable ;derived V-functions give values computed from state values $O-functions cause state transitions @OV-functions do both N\` Methodology 1Oh fInterface definition; decomposed into set of modules each of which manages some system object (collec@ntion of V, O functions); general security requirements formulated (Detection Principle, Alteration Principle) !P eHierarchical Decomposition: modules arranged in linear hierarchy; consistency of structure, function @names verified !Q kModule Specification: develop formal specs for each module; verify internal consistency, global assertions fincluding representation of general security requirements (which are the PSOS principles expressed in @"terms of read/write capabilities) !R lMapping functions; define these to describe the state space at one level in terms of lower level and verify @Wconsistency of mapping functions with respect to specifications, modular decomposition S`4Implementation: implement, verify modules as you go T⪘`VAX VMM Security Kernel U`OVM monitor for the VAX; can run VMS or Ultrix, but is itself a security kernel V`!Design: present VAX architecture !W iCompress rings: Real: user, supervisor, executive, kernel; VM user, supervisor, VM executive, VM kernel, @ forbidden X`bSubjects: users, VMs; servers run in VM kernel, and only run kernel software; cant run user code Y`FObjects: flat file system for kernel, each VM has its own file system !Z sAccess classes: security, integrity levels form access class; A = B iff security, integrity levels and classes the @Nsame; A > B iff A > B for  both  integrity and security (> dominates) ![ Layered design:  16.Users 15.VMOS (virtual machine OS) <14.Secure Server layer (trusted path for security kernel) W13.Virtual VAX layer (emulates sensitive instructions, interrupts, exceptions, etc.) N12.Kernel interface layer (virtual controllers for the virtual I/O devices) F11.Virtual printers layer (implements virtual printers for each VM) 10.Virtual terminals layer Z9.Volumes layer (VAX Security kernel file columes; registries of all subkects, objects) h8.Files-11 Files layer implements subset of a file system used in the VMS operating system; all files %must be preallocated and contiguous) 7.Auditing layer 6.High-level scheduler 75.VM Virtual memory layer (shadow page tables, etc.) 04.VM Physical layer (manages physical memory) -3.I/O Services layer (implements real I/O) 2.Lower Level Scheduler @[1.Hardware Interrupt Handler layer (interrupt handlers for the physical I/O controllers) _wP*"#` }HuH@gHKHuH$A% USE XREF PEFMT }uH@iJLuH $WBeN }uH@kKMuH $WCeN } uH@mLN uH $WDe }H@oMRH %WEe P:Header }KH AS PKH 0We3 }HKH AU OQHKH 0WZe Heading2 }KH AW PWKH 0W[e }HH@qNSHH%F%THROW PEAWAY }H@sRTH %WGeN }H@uSUH %WHeN } H@wTV H %WIe }©H(@yUZ©H( &WJe P:Letter }WHAY QXWH 2W\e1 }HWHA[ WYHWH2Wb eTitle }WHA] XWH 2Wce }H©H(@{V[H©H((&KeLI e Parent = OL Qe Depth = 0 }©H(@}Z\©H( &WMeN }©H(@[]©H( &WNeN } ©H(@\w ©H( &WOe }»d @G]a»d I'WPeHTML Options Table }D»d @GD»d I'WQe }D»d @GD»d I'WUe }D @G^bD I(WVeControl }DH @GacDH I(WWeValue }H @GbdH I(WXe Comments }D6@GceD6 I)WYe Image Format }DH6@GdfDH66I)]% 0001IMAGGIF  MACP0001GIPEF }H6@GegH6 I)W^e }D @GfhD I*W_eBanners }DH @GgiDH I*W`eN }H @GhjH I*Wae }D@GikDI+e% Banner ReferPE ence Frame }DH@GjlDH I+Wfe }H@GkmH I+Wge }D(@GlnD((I,h$% Copy Files  Imported by PE Rerefernce }DH(@GmoDH( I,Wie }H(@GnpH( I,Wje }DD(@GoqDD((I-k% Copy Files  Imported by PE Reference }DDH(@GprDDH( I-WleN }DH(@GqDH( I-Wme }Vd @GyVd I.WneSystem Macros }?Vd @G?Vd I.Woe }Vd @GVd I.Wpe }f? @Gvzf? I/Wqe Macro Name }?fH @Gy!?fH I/Wre Replace With }fH @G!|fH I/Wse Comments }r? @G{}r? I1Wte StartOfDoc }?rH @G|"?rH I1Wue }rH @G"rH I1Wve }~? @G~~? I3Wwe EndOfDoc }?~H @GU?~H I3Wxe }~H @GU~H I3Wye }?@G?I4z% StartOfSubPEDoc }?H@GV?H I4W{e }H@GVH I4W|e }?@G?I5}% EndOfSubPEDoc }?H@GW?H I5W~e }H@GWH I5We }?@G ?I6% StartOfFirstPESubDoc }?H@GX?H I6We }H@GX H I6We }?@G ?I7% EndOfFirstPESubDoc }?H@G Y?H I7We }H@GYH I7We }?@G ?I9 % StartOfLastPESubDoc }?H@GZ?H I9W e }H@GZH I9W e } ?@G ?I: % EndOfLastPESubDoc }? H@G[? H I:W e } H@G[ H I:We }H H$GbH I;Ge C:Symbol }H H&GH I;GteEM }H H(G\H I;GueN },d @G,d I<WeCross-Reference Macros }?,d @G?,d I<We },d @G,d I<We }<? @G<? I=We Macro Name }?<H @G?<H I=We Replace With }<H @G<H I=We Comments }H?@GH? I>We See Also }?HHAG?HHI>% See Also: PE <$paratext> }HHAG#HH I>We }Vd EjGVd I.We }fH ElGz{fH I/WeHead }rH EnG}~rH I1We }hd A G'hd I@WeGeneral Macros }?hd A G?hd I@We }hd AGhd I@W e }hd AGhd I@W!e }x? AG#(x? IAW"e Macro Name }?xH AG')?xH IAW#e Replace With }xH AG(*xH IAW$eHead }xH AG)+xH IAW%e Comments }? AG*,? IBW&e }?H AG+-?H IBW'e }H AG,.H IBW(e }H A!G-H IBW)e }d A$|Ad }CW*eCharacter Macros }?d A&|?d }CW+e }d A(|d }CW,e HHˆDHHˆIIl}? D|84? }FWIe }?H D|35?H }FW\e... }H D|4H }FW]e }? D|K7? }GW^e }?H D|68?H }GW_e- }H D|73H }GW`e }? D|NJ? }HWae d>;?H$ >:=H$ << l H$ >:H$ ;W l4May 18, 2000ECS 253 Spring 2000Page  1  HUV >:;?HUV >> l HUV >:HUV =W l?Last modified at  11:54 am on Thursday, May 18, 2000  HHˆ>:=HHˆ@@ l HHˆ>:HHˆ?W ` }? A*|/B? }DW-e Character }?H A,|AC?H }DW.e Replace With }H A.|BDH }DW/e Comments }? A0|CE? }EW0e }?H A2|DF?H }EW1e¢ }H A4|ERH }EW2e dA8HHdA9Gd~II l dA:Gd m.Hmhc^^adgjmpvy| #'+ /ADROL963}?H D|9K?H }HWbe-- }H D|J6H }HWce }? E|QM? }IWde }?H E|LN?H }IWee° }H E|M9H }IWfe }? E|TP? }JWge }?H E|OQ?H }JWhe® }H E |PLH }JWie }? E |FS? }KWje }?H E|RT?H }KWke© }H E|SOH }KWle }~H EpG~H I3Wme }HErGH I4Wne }HEtGH I5Woe }HEvG H I6Wpe }HExG H I7Wqe }HEzGH I9Wre } HE|G H I:Wse }H H*G]H I;GveN }H H,G\^H I;Gxe }H H.Gg_H I?Gye C:Subscript }H H0G^`H I?GzeEM }H H2G_aH I?G{eN }H H4G`bH I?G|eN }H H6GaH I?G}e }H H8GldH ILG~e C:Emphasis }H H:GceH ILGeEM }H H<GdfH ILGeN }H H>GegH ILGeN }H H@Gf^H ILGe }H(HBGqiH( IMGe P:Signup }H(HDGhjH((IMeLI e Parent = OL Ae Depth = 0 }H(HFGikH( IMGeN }H(HHGjlH( IMGeN }H(HJGkcH( IMGe }H(HLGnH( INGe P:Numbered-a }H(HNGmoH((IN eLI e Parent = OL Ae Depth = 0 }H(HPGnpH( ING eN }H(HRGoqH( ING eN }H(HTGphH( ING e }H(HV{sH( OG e P:Numbered- }H(HXrtH((OeLI e Parent = OL Ae Depth = 0 }H(HZsuH( OGeN }H(H\tvH( OGeN }H(H^uH( OGe }H H`]xH PGeP:Line }H HbwyH PGeP }H HdxzH PGeN }H Hfy{H PGeN }H HhzrH PGe dI ~~ dI |dp /5~ /ADROL963dI |dH}} l}DIGDIQg% CSS Export E Encoding }HIGH IQGe }HIGvH IQGe }DIGrDIRg % Export EnEcoding }HIGH IRG!e }HIGH IRG"e dLeftd:Rightd ReferenceddHTMLd Headingsd GHTMLdd|HTML f@U [. Numbered < =0>.Letter. @@ [Body. f@ 2 @.@.@. Date Line Single Line. @@[Mapping Table Cell. @@ [Footer. f@U [. Numbered < =0>.Letter. @@ [Mapping Table Title. f@e [. Letter < >. Numbered-. @@ 2  Footer. @@ [Mapping Table Cell. @@2 Mapping Table Cell. $f@ 2 $. Numbered-.\t. f@e [. ?Letter < >. Numbered-. f@T [! TableTitleT:Table : . f@  [ CellHeading. f@ [CellBody. f@  [ CellFooting. f@ 2 ...Signup.\t. f@e [. Letter < >.Letter. f@E [ Numbered1.\tNumbered. @@ 2 Mapping Table Cell. @@ [ Mapping Table Cell. $f@E 2 $. Numbered-a.\t Numbered-. f@ [Body. f@e [. ff.6.Letter < >.Letter. @@ [Header Double Line.  f@P[ TitleBody. f@ [Body. f@ [ BodySpaced. f@ [ Bulleted\t. f@ [...Date. mf@ [l. DateProject. @@ [Header Double Line. f@T [Heading1Body. f@E [ Numbered1.\tNumbered. f@ [ NumberedSpaced.\t. f@ [.Reading.  f@P[TitleBody. f@$ [.Line Single Line. f@ [CellBody. f@  [ CellHeading. f@ [ Footnote. f@T [Heading2Body. f@T [ HeadingRunInBody. f@ [ Indented. f@ [ TableFootnote. f@T [ TableTitleT:Table : .  [ [   Subscript [ [ [[ 22 2  [ 2  W Symbol [2 2 [ [[Emphasis[EquationVariables 2  BoldItalic [Italic [Bold[ [ZZThinMediumDoubleThick@ Very Thin HHHHHFormat AH Mapping Table HHHHHFormat BH Mapping Tableh6@;HHHHH'QDHH.:?HHH<>?HH @B?HHHTCF?HH*0!2HHH7h  h !"#$%h&'()*h +,-./Eh 01234Qh 56789]h :;<=>ih( ?@ABCh  D E F G H h( I J K L M h  N O P Q R h  S T U V W h  X Y Z [ \ h( ]^_`ah bcdefhghijk7h lmnopChqrstu]h(vwxyzh {|}~h h( h    h h !"#$h %&'()h *+,-.h/0123)h 456785h9:;<=Oh  >?@AB[h$C D E F G  "!!!!#""""0###uh %H$J$K$L$M$h$&N%R%S%T%U%©h(%PV&Z&[&\&]&» (I^'_'`' ')Ia(b(c(6(*Id)e)f) )+Ig*h*i**,Ij+k+l+(+-Im,n,o,D(,RIp-q-r-Vd /Iv.w. .x.f .1Iy/z/!/{/K #2O0P0Q0r /3I|1}1"1~1W0W2X2Y2~ 14I33U3335I44V4446I55W5557I6 6X6 669I 7 7Y7 77:I99Z99 9I::[::h ?I;;;\;];,d =I<<<< <>I===H=I>>>h L;I^?_?`?a?b?hd AI#@$@%@&@x @BI'A(A)A*A AI+B,B-B.Bd D}/C0C1C CE}ADBDCD DK}DEEEFE G}3F4F5F HF}6G7G8G IG}9HJHKH JH}LIMINI KI}OJPJQJ EJ}RKSKTKh M?IcLdLeLfLgLh(NLIhMiMjMkMlMh(OMImNnNoNpNqNh(PNrOsOtOuOvOh &OwPxPyPzP{PRIQQQ-QIRRRComment >?d BlackT!WhiteddARedddGreendd BluedCyandMagentad YellowHeader/Footer $1Header/Footer $1Header/Footer $2Header/Footer $2IndexIndexCommentCommentSubjectSubjectAuthorAuthorGlossaryGlossaryEquationEquation Hypertext Hypertext  Cross-Ref Cross-Ref Conditional TextConditional TextPositionFMPrivatePositionFMPrivateRangeEndFMPrivateRangeEndFMPrivate HTML Macro HTML Macro M.Times.P Times-Roman FrameRoman M.Helvetica.P Helvetica FrameRoman M.Times.B Times-Bold FrameRoman M.Helvetica.BHelvetica-Bold FrameRoman M.Symbol.PSymbol FrameRoman M.Times.I Times-Italic FrameRomanM.Helvetica.BIHelvetica-BoldOblique FrameRomanl1 HelveticaVSymbolZTimes#Regular$Roman MediumBoldRegular ObliqueItalicd9Hrxiw[΀"/h؛!x.aDӹX2" +[y5`s WZY^U?Ţae0!m.nҬԎMڏas8&iB,jF]yj H\1|ێ8