| |
In SenSys '06: Proceedings of the 4th international conference on Embedded networked sensor systems (2006), pp. 125-138.
|
| |
Computer Security Applications Conference, 2007. ACSAC 2007. Twenty-Third Annual In Computer Security Applications Conference, 2007. ACSAC 2007. Twenty-Third Annual (2007), pp. 30-39.
|
| |
In SenSys '04: Proceedings of the 2nd international conference on Embedded networked sensor systems (2004), pp. 25-38.
by Maxim A. Batalin, Mohammad Rahimi, Yan Yu, et al.Duo Liu, Aman Kansal, Gaurav S. Sukhatme, William J. Kaiser, Mark Hansen, Gregory J. Pottie, Mani Srivastava, Deborah Estrin
|
| |
Computer In Computer, Vol. 37, No. 7. (2004), pp. 95-97.
|
| |
|
| |
|
| |
Proceedings of the 2nd European Workshop on Security and Privacy in Ad Hoc and Sensor Networks (2005)
|
| |
|
| |
In WiSe '06: Proceedings of the 5th ACM workshop on Wireless security (2006), pp. 85-94.
|
| |
Mobile Computing, IEEE Transactions on, Vol. 4, No. 3. (2005), pp. 297-309.
|
| |
Distributed Computing Systems, 2006. ICDCS 2006. 26th IEEE International Conference on (2006), pp. 53-53.
|
| |
IEEE Trans. Dependable Secur. Comput., Vol. 2, No. 2. (April 2005), pp. 82-92.
|
| |
|
| |
In SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles, Vol. 39, No. 5. (December 2005), pp. 1-16.
|
| |
|
| |
Workshop on Hot Topics in Networks (HotNets-IV) (2005)
|
| |
Security and Privacy, 2005 IEEE Symposium on (2005), pp. 127-138.
|
| |
Security and Privacy, 2005 IEEE Symposium on (2005), pp. 49-63.
|
| |
Proceedings of the 13th USENIX Security Symposium (2004), pp. 179-194.
|
| |
Research Report RC23865, IBM TJ Watson Research Center, Feb (2006)
|
| |
In NSPW '04: Proceedings of the 2004 workshop on New security paradigms (2004), pp. 67-77.
|
| |
Security and Privacy, 2004. Proceedings. 2004 IEEE Symposium on (2004), pp. 272-282.
|
| |
In SACMAT '06: Proceedings of the eleventh ACM symposium on Access control models and technologies (2006), pp. 19-28.
|
| |
Security and Privacy, 2005 IEEE Symposium on (2005), pp. 154-168.
|
| |
Cryptographic Hardware and Embedded Systems – CHES 2005 (2005), pp. 324-338.
|
| |
Decision and Control, 1994., Proceedings of the 33rd IEEE Conference on, Vol. 3 (1994), pp. 2459-2465 vol.3.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 15, No. 5. (December 1981), pp. 12-21.
|
| |
J. Autom. Reason., Vol. 5, No. 4. (December 1989), pp. 411-428.
|
| |
Software Engineering, IEEE Transactions on, Vol. 23, No. 5. (1997), pp. 279-295.
|
| |
ACM Trans. Inf. Syst. Secur., Vol. 3, No. 1. (February 2000), pp. 51-62.
|
| |
|
| |
|
| |
In EW10: Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC (2002), pp. 165-169.
|
| |
|
| |
Commun. ACM, Vol. 23, No. 2. (February 1980), pp. 118-131.
|
| |
IEEE Trans. Softw. Eng., Vol. 15, No. 11. (November 1989), pp. 1382-1396.
|
| |
Journal of Automated Reasoning, Vol. 5, No. 2. (1989), pp. 127-139.
|
Search
