DocumentCode
2445642
Title
[Title page]
fYear
2008
fDate
28-30 Oct. 2008
Abstract
The following topics are dealt with: Internet security; distributed access control; intrusion detection system; formal verification and mobile agent system.
Keywords
Internet; formal verification; mobile agents; security of data; Internet security; distributed access control; formal verification; intrusion detection system; mobile agent system;
fLanguage
English
Publisher
ieee
Conference_Titel
Risks and Security of Internet and Systems, 2008. CRiSIS '08. Third International Conference on
Conference_Location
Tozeur
Print_ISBN
978-1-4244-3309-4
Type
conf
DOI
10.1109/CRISIS.2008.4757452
Filename
4757452
Link To Document