Automatic Generation and Enforcement of Security Contract for Pervasive Application.

Ying Jin, Zepeng Li, Da Wei, Lei Liu

Browse the full EUC paper archive.