Information about the UK's Domain Based Security work.
Added 4/1/00.
www.qinetiq.com/home_enterprise_security/infosec_strategy/white_papers.html
IFIP WG 1.7
Theoretical Foundations of Security Analysis and Design.
Home Page of the newly approved IFIP Working Group
with the main aims (among many other) of investigating the
theoretical foundations of security, discovering and promoting new
areas of application of theoretical techniques in computer security
and supporting the systematic use of formal techniques in the
development of security related applications.
The main research topics relevant for the Working Group include:
- formal definition and verification of the various aspects of security:
confidentiality, integrity, authentication and availability;
- new theoretically-based techniques for the formal analysis and design
of cryptographic protocols and their manifold applications (e.g.,
electronic commerce);
- information flow modeling and its application to the theory of
confidentiality policies, composition of systems, and covert channel
analysis;
- formal techniques for the analysis and verification of mobile code;
- formal analysis and design for prevention of denial of service.
ACSA Information Security Bookshelf
The Applied Computer Security Associates (ACSA), the sponsor of the
Annual Computer Security Applications Conference, has established an
Information Security Bookshelf at the above URL.
ACSA sees this bookshelf being used is as a source of readings for
self-study and for courses. You're invited to take a look at the
bookshelf and to suggest additional books, papers, and reports. It
would be most helpful if you could provide the source files or a URL
pointer to them. Suggestions and contributions should be sent to bookshelf@acsac.org. Don't be
bashful about suggesting your own work.
The project needs a permanent editor (or chair, the title is negotiable).
If you know someone who might be interested, send that information to the
same address.
ELECTRONIC
IDENTITY FRAUD NEWSLETTER
Free from e-DENTIFICATION, Inc. Free service to the electronic
security community. The objective of this newsletter is to
stimulate awareness and create a forum for the exchange of
information in an effort to combat the emergence and rampant growth
of identity fraud in electronic commerce and electronic data
interchange. If you are involved in online security, online
privacy issues, electronic commerce, electronic data interchange,
credit management, banking, or internet business, you and your
associates are invited to subscribe to this free monthly
newsletter.
[Note: Subscriptions appear to come as ascii
text. Downloads of back issues require the ability read MS-Word
documents. -editor]