Are you familiar with this paper : [Relating first order set theories and elementary toposes][1] from Awodey,Butz,Simpson and Streicher. I haven't read in detail yet, but it really seems to provide a machinery that answer your question.



  [1]: http://homepages.inf.ed.ac.uk/als/Research/Sources/set-models-announce.pdf