@misc{Nguyen_Phuong_The_CardS4:,
 author={Nguyen, Phuong The and Gore, Rajeev Prabhakar},
 howpublished={online},
 publisher={Instytut Łączności - Państwowy Instytut Badawczy, Warszawa},
 language={ang},
 title={CardS4: modal theorem proving on Java smart cards, Journal of Telecommunications and Information Technology, 2002, nr 4},
 type={artykuł},
 keywords={security of mobile code, modal deduction},
}