A programmable electronic device stores a number of cipher-text software modules to which access is granted after evaluating a user’s token, a software-restriction class for a requested software module, andor a currently active access-control model. The spring assembly includes a spring and first and second spring fittings. Lighting elements fabricated directly on the back surface of the semiconductor substrate directly illuminate the light to the semiconductor substrate, so as to enhance the photoconduction property of the semiconductor substrate. After removing photoresist, a second insulating film may be formed over first insulating film and within recess.