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;
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
DOI :
10.1109/CRISIS.2008.4757452
