Both Disneyland and Disney World Security Officers carry stun guns, pepper spray/mace, handcuffs and radios (this is what I usually see them with when visiting WDW anyway). They are also trained in hand-to-hand combat to take down and detain assailants (in Florida at least).