Useful Links

Free On_Line Dictionary of Computing (FOLDOC)
National Institute of Standard and Technology (N IST)
Lupton Library
Scientific Literature Digital Library (ResearchIndex)
ACM Digital Library
IEEE Electronic Library
Lecture Notes on Computer Science
International Engineering Task Force (IETF)
IBM Security Research

Formal Methods

The Temporal Logic of Action (TLA)
SPIN

 Conferences

ACM Computer and Communications Security (CCS)
ACM Symposium on Access Control Models and Technologies (SACMAT)
ACM New Security Paradigms Workshop (NSPW)
Annual Computer Security Applications Conference (ACSAC)
European Symposium on Research in Computer Security (ESORICS)
IEEE Symposium on Security & Privacy (Oakland)
International Conference on Distributed Computing Systems (ICDCS)
International Conference on Data Engineering (ICDE)
International Conference on Software Engineering (ICSE)
Software Engineering and Knowledge Engineering (SEKE)
ICICS
IEEE Computer Security Foundations Workshop (CSFW)
IFIP TC 11.3 
NDSS
USENIX 

XML Technologies

Processing XML with Java        
Java API
Apache Xalan API

Security Technologies

RBAC @ NIST
RBAC@GMU
Security Focus
SANS
WindowSecurity
Firewalls FAQ
PKI page
PKI Forum
Dartmouth PKI Lab
Kerberos @ MIT
SSL
Web Security FAQ
Java Security Hotlist