Linux-Announce Digest #518, Volume #3 Thu, 17 Jun 99 22:13:19 EDT
Contents:
SECURITY: LOMAC v0.1 - Low Water-Mark Mandatory Access Control for Linux
([EMAIL PROTECTED])
COMMERCIAL: Banner ad rotation: AdRotate Pro (Buddy VanBrunt)
Hard Disk Upgrade Mini How-To Update (Yves Bellefeuille)
E Equational Theorem Prover 0.32 "Lingia" released (Stephan Schulz)
COMMERCIAL: InfoMagic Summer 99 Linux Archive ("Joel Goldberger")
CONFERENCE: UKUUG Linux '99 Conference - Last Chance to Book (David Hallowell)
----------------------------------------------------------------------------
From: [EMAIL PROTECTED]
Subject: SECURITY: LOMAC v0.1 - Low Water-Mark Mandatory Access Control for Linux
Date: Thu, 17 Jun 1999 00:38:11 GMT
=====BEGIN PGP SIGNED MESSAGE=====
LOMAC v0.1 - Low Water-Mark Mandatory Access Control for Linux
is now available.
The LOMAC Loadable Kernel Module is a security enhancement for Linux
that uses Low Water-Mark Mandatory Access Control to protect the
integrity of processes and data. A partially functional prototype is
now available for single-CPU Linux 2.0 systems. Although the
prototype is incomplete, enough functionality exists to demonstrate
LOMAC's ability to contain viruses and to limit the destructive
potential of malicious remote users and compromised root daemons.
LOMAC is freely available under the GNU Public License, and once
built, is installed simply by copying several files and rebooting.
Deinstallation requires only deleting the files, plus a reboot to
clear the LKM from kernel memory. No kernel recompilations or changes
to existing configurations are needed. The prototype still panics the
kernel periodically, and should be used for experimental purposes only
at this time.
LOMAC source and documentation are freely available under the GPL at:
ftp://ftp.tislabs.com/pub/lomac
- --
This article has been digitally signed by the moderator, using PGP.
http://www.iki.fi/mjr/cola-public-key.asc has PGP key for validating signature.
Send submissions for comp.os.linux.announce to: [EMAIL PROTECTED]
PLEASE remember a short description of the software and the LOCATION.
This group is archived at http://www.iki.fi/mjr/linux/cola.html
=====BEGIN PGP SIGNATURE=====
Version: 2.6.3ia
Charset: latin1
iQCVAgUBN2hDc1rUI/eHXJZ5AQGegwQAmmIIkPsL/jroGYE3moeNxajMx1McAIO/
hyip8xlORrshhpZgOPzzOsAJu1hDR1b1ItxFq4gxmfjBajxisu+p07vcTBYOEHT9
eIwqluf6amraQxQjanEcJsJdZyvJJtOdW2QJs3zOcqkAqZEJgIAH9R0eXIcOcuAP
13QtnCSAnzE=
=982+
=====END PGP SIGNATURE=====
------------------------------
From: [EMAIL PROTECTED] (Buddy VanBrunt)
Subject: COMMERCIAL: Banner ad rotation: AdRotate Pro
Date: Thu, 17 Jun 1999 00:36:24 GMT
=====BEGIN PGP SIGNED MESSAGE=====
AdRotate Pro is one of the many available banner ad rotation programs
available on the Internet. What sets it apart from the rest is its ease of
setup, ease of use, flexibility and reliability.
AdRotate Pro uses MySQL to store all information where many other programs use
flat file databases. Flat file databases work well on low volume web sites.
When put under high load, flat file databases seem to fail. By using MySQL,
AdRotate delivers a reliable banner ad rotation system that can stand up under
high loads.
AdRotate Pro is available for $75 USD.
Features of AdRotate Pro include:
- Easy setup
- Ease of administration
- SSI and IMG TAG support
- Unlimited rotations
- Expire by date, views or clicks
- Default ads for when all ads are expired
- "Weighting" of ads
- Customer reports
Check out the demos at http://www.vanbrunt.com/adrotate
- --
This article has been digitally signed by the moderator, using PGP.
http://www.iki.fi/mjr/cola-public-key.asc has PGP key for validating signature.
Send submissions for comp.os.linux.announce to: [EMAIL PROTECTED]
PLEASE remember a short description of the software and the LOCATION.
This group is archived at http://www.iki.fi/mjr/linux/cola.html
=====BEGIN PGP SIGNATURE=====
Version: 2.6.3ia
Charset: latin1
iQCVAgUBN2hDCFrUI/eHXJZ5AQF0ZwQAqrwVQdud9dDPinK6RtusykLixnYPkOTc
FzoJAUae3xjkG6dfJM9xtLA4eKsChiDVg2ugxVL+fRlGIiEbTRmLpVBCMEtkWp4P
5Sd2wvb27mgDvxc7S4rgL4eOPWizIiL1AOOHe+WY5owb4IIw3t8I6ejIDo6zDrZg
Iwu8pylUliQ=
=R9A4
=====END PGP SIGNATURE=====
------------------------------
From: [EMAIL PROTECTED] (Yves Bellefeuille)
Subject: Hard Disk Upgrade Mini How-To Update
Date: Thu, 17 Jun 1999 00:26:13 GMT
Reply-To: Yves Bellefeuille <[EMAIL PROTECTED]>
=====BEGIN PGP SIGNED MESSAGE=====
- -----BEGIN PGP SIGNED MESSAGE-----
The Hard Disk Upgrade Mini How-To has been updated. The new version is
number 2.0, dated 9 June 1999. It is currently available at the author's
WWW site at:
http://www.storm.ca/~yan/Hard-Disk-Upgrade.html
(HTML version)
http://www.storm.ca/~yan/Hard-Disk-Upgrade
(plain text)
It will soon be available from the Linux Documentation Project archives
at:
http://metalab.unc.edu/mdw/HOWTO/mini/Hard-Disk-Upgrade.html
(HTML version)
http://metalab.unc.edu/pub/Linux/docs/HOWTO/mini/Hard-Disk-Upgrade
(plain text)
and all LDP mirrors.
This document explains how to copy, or migrate, a Linux system from one
hard disk to another, for example when replacing a small hard disk with
a larger one.
It has been tested with Red Hat 6.0, Debian 2.1, and Slackware 3.5, and
contains specific instructions for each of these distributions.
- -----BEGIN PGP SIGNATURE-----
Version: 2.6.3i
Charset: cp850
iQCzAgUBN2XSu6dbnFWa/K4dAQHQwwTwsazumf8eGEwf8XWiwcOpN5P8tReWnois
u8nCRO4G8YsWlrDlT8wvWWqBn84e03u1ChrIvSUZxPGJvsBzDmbnTq86k3uI/Z6G
Z9j8ZlFA2Y1PkAobILbUtY1tVNFvsTKuLWZ327MmNiXObHxleN9mXsZplzumvvtq
VLThbHaRD2zV6jt7VOr/IQTm0y/qwPbPTSg52KIqq9jXiYXUTZs=
=mQHj
- -----END PGP SIGNATURE-----
- --
Yves Bellefeuille <[EMAIL PROTECTED]>
Ottawa, Canada
Francais / English / Esperanto
Maintainer, Esperanto FAQ: http://www.esperanto.net/veb/faq.html
- --
This article has been digitally signed by the moderator, using PGP.
http://www.iki.fi/mjr/cola-public-key.asc has PGP key for validating signature.
Send submissions for comp.os.linux.announce to: [EMAIL PROTECTED]
PLEASE remember a short description of the software and the LOCATION.
This group is archived at http://www.iki.fi/mjr/linux/cola.html
=====BEGIN PGP SIGNATURE=====
Version: 2.6.3ia
Charset: latin1
iQCVAgUBN2hAplrUI/eHXJZ5AQHcHwP/evFuiATXy2f66seXAXshrDsKVtzUSjZl
Di+keKwW9GVwuMfxyrJwHXK1jimwDfsG80dV2yGlK7s5VOFebceiZPV3wzbjv89f
cQru7OgmKjBDirIfK+dol54OvBW1PUfYJFiLd6skHBbsFvJPL2tD+/mHn8sRM4g9
UQ69FmVe1Vg=
=+Hn8
=====END PGP SIGNATURE=====
------------------------------
From: [EMAIL PROTECTED] (Stephan Schulz)
Subject: E Equational Theorem Prover 0.32 "Lingia" released
Date: Thu, 17 Jun 1999 00:35:34 GMT
=====BEGIN PGP SIGNED MESSAGE=====
The E equational theorem prover version 0.32 "Lingia" has been
released.
E is a a purely equational theorem prover for clausal logic with
equality. Thus, you can specify a mathematical problem (e.g. a
mathematical puzzle), a (small) piece of program code or some hardware
elements in clausal logic (using rules of the form "If A and B and C
then D or E or F" in a PROLOG-like syntax), and try to have the system
prove certain properties of the described structure. Be warned that
this can consume inane (in fact, theoretically unlimited) amounts of
CPU time and memory for difficult problems.
Version 0.32 improves on the previous version in a variety of ways:
- - The inference engine is (once more) much faster.
- - Special strategies for Horn problems have been replaced with general
literal selection functions that are complete for all classes of
problems.
- - The automatic mode for selecting search heuristics has been
improved.
- - Various minor bugfixes and changes.
E 0.32 has been tested on all 3334 CNF problems of the TPTP problem
library, version 2.2.0, and showed no unexpected behaviour. Results
are available from the web site.
E is available as a source distribution for UNIX-variants. It installs
cleanly under all UNIX variants I could get my hands on: Various
versions of GNU/Linux for Intel and SPARC, SunOS, Solaris and HPUX.
E is distributed under the GNU General Public License.
You can find the source distribution and additional information at
http://wwwjessen.informatik.tu-muenchen.de/~schulz/WORK/eprover.html
Our servers are usually rebooted Monday mornings between 3:30 and 4:00
ME(S)Z, and may be unavailable during this time.
Have fun!
Stephan
- -------------------------- It can be done! ---------------------------------
Please email me as [EMAIL PROTECTED] (Stephan Schulz)
- ----------------------------------------------------------------------------
- --
This article has been digitally signed by the moderator, using PGP.
http://www.iki.fi/mjr/cola-public-key.asc has PGP key for validating signature.
Send submissions for comp.os.linux.announce to: [EMAIL PROTECTED]
PLEASE remember a short description of the software and the LOCATION.
This group is archived at http://www.iki.fi/mjr/linux/cola.html
=====BEGIN PGP SIGNATURE=====
Version: 2.6.3ia
Charset: latin1
iQCVAgUBN2hC11rUI/eHXJZ5AQG1NgP/VFGYfQIA7ctKJb36lEqRvTwC6mRSv/HU
7ubyW27RUJsiuAh+Dql4qLg/fijEtma3tqUe15VUBUcirFWSJJIahmddbFxqvK/a
W9eUeW8jlxUdAcPIDUQxgBKaI8pkSWzb0Len2l9kQuWjdU49rKyho1XO9PYunVPs
jbMSFINh4rc=
=FhU1
=====END PGP SIGNATURE=====
------------------------------
From: "Joel Goldberger" <[EMAIL PROTECTED]>
Subject: COMMERCIAL: InfoMagic Summer 99 Linux Archive
Date: Thu, 17 Jun 1999 00:39:11 GMT
=====BEGIN PGP SIGNED MESSAGE=====
InfoMagic Linux(R) Archive CD Set June 1999
This 6-CD set includes all of the major archives dedicated to Linux!
You'll find thousands of files for adding on and extending the power
of whatever Linux distribution you are running. This CD set can save
you hours and hours of searching these cumbersome sites and trying to
download thousands of files! These archives contain a tremendous
wealth of peripheral software for Linux such as Internet Utilities,
multimedia tools, networking software, development tools, compilers,
drivers, communication tools, plus lots of games and still more! The
following sites are included:
* SUNSITE Archive: (sunsite.unc.edu)
* GNU Archive: (prep.ai.mit.edu)
* KERNEL Archive: (ftp.kernel.org) kernels 2.0.35 through 2.3.3
* KDE Archive: (ftp.kde.org) KDE 1.1.1
* GNOME (ftp.gnome.org) 1.1
* XFree86 & Xfree86 contrib (ftp.xfree86.org)
* Lesstif (ftp.lesstif.org) 0.88.1
Retail Price - $20.00
Subcription service available! Order your first release at the full
price of $20.00 (plus shipping)and automatically receive all future
updates for only $15.00 (plus shipping) until you cancel. (Credit
card required for subscription service)
Available to ship on or shortly after 30 June 1999.
Accepting pre-orders now!
Tel: 520-526-9565/800-800-6613 (within the US and Canada)
FAX: 520-526-9573
Auto-Reply: [EMAIL PROTECTED]
Orders: [EMAIL PROTECTED]
WWW: http://www.infomagic.com/ (Secure ordering supported)
InfoMagic, Inc.
11950 N. Hwy 89
Flagstaff, AZ 86004
============================================================================
Linux is a registered trademark of Linus Torvalds.
All other trademarks are hereby acknowledged as the property of their
respective owners.
- --
This article has been digitally signed by the moderator, using PGP.
http://www.iki.fi/mjr/cola-public-key.asc has PGP key for validating signature.
Send submissions for comp.os.linux.announce to: [EMAIL PROTECTED]
PLEASE remember a short description of the software and the LOCATION.
This group is archived at http://www.iki.fi/mjr/linux/cola.html
=====BEGIN PGP SIGNATURE=====
Version: 2.6.3ia
Charset: latin1
iQCVAgUBN2hDsFrUI/eHXJZ5AQFnvAP/czSTfNxIkKRKxN0UHkO5J6JfmjJ9Cbbt
D9Nk2k4b/mmpsqBdCzf9aQr+9uAbhPdmyn0WyjpFOSqtS9fTGix5tDgC4FmGbrHD
BeeAdSSVSiZfiaO96KhhZxr9D38zOK4OEJfY5jjYLhvhVqi0HT7w9qXwOa+nltq9
w1409xbNXUQ=
=P0PI
=====END PGP SIGNATURE=====
------------------------------
From: David Hallowell <[EMAIL PROTECTED]>
Subject: CONFERENCE: UKUUG Linux '99 Conference - Last Chance to Book
Date: Thu, 17 Jun 1999 00:45:52 GMT
=====BEGIN PGP SIGNED MESSAGE=====
As you may know, the UKUUG are planning the second of their annual Linux
Conferences. This years event will be held on the 25th-26th June 1999 at
Aston University in Birmingham. The booking deadline for this event is
Friday 18th June so if you want to attend the event it is suggested you
send in your booking form now.
The web site for this event is at: http://www.linux.ukuug.org/linux99/
Full details of the speakers and the venue are listed on the site as
well as information useful for those requiring accomodation or travel to
the event.
If you require to book tickets for rail travel and don't want to book
online you can call the following telephone number: 08457 225 225 (UK
Only)
Many new speakers have been added to the programme of events since the
initial announcement including Linux Kernel Developer Alan Cox. For a
full list of speaker check the website.
Bookings are accepted by cheque as well as Switch, Visa or Mastercard. A
booking form is available on the website and may be sent to the UKUUG by
post or fax.
The following companies will be exhibiting their products at the event:
O'Reilly - offering 25% discount on their books
EMPEG - makers of an in car MP3 player that uses Linux - www.empeg.com
The Linux Emporium - http://www.linux-emporium.co.uk/
Jason Clifford - http://www.jasonclifford.com/
GB Direct - http://www.gbdirect.co.uk/
- --
David Hallowell - [EMAIL PROTECTED]
UKUUG Council / Linux '99 Organising Committee
http://www.linux.ukuug.org/linux99/
- --
This article has been digitally signed by the moderator, using PGP.
http://www.iki.fi/mjr/cola-public-key.asc has PGP key for validating signature.
Send submissions for comp.os.linux.announce to: [EMAIL PROTECTED]
PLEASE remember a short description of the software and the LOCATION.
This group is archived at http://www.iki.fi/mjr/linux/cola.html
=====BEGIN PGP SIGNATURE=====
Version: 2.6.3ia
Charset: latin1
iQCVAgUBN2hFQFrUI/eHXJZ5AQENlwQAv+DljMxoi49FfKB3FY0Il0wljiRnz3KM
RWlGEW/03S4ajrA8aDLCYRKbAz+j0wbeSJg/sVi7pasx2jtzjfFvJkHbumeKS1V0
pGwALStTEBqmPrVjvZ7BZXZ1xT8wfdQjTripwMT4gicPL7MeQkERE9MkQrkS3pzv
aO1GI3W/cOA=
=7Rsu
=====END PGP SIGNATURE=====
------------------------------
** FOR YOUR REFERENCE **
The service address, to which questions about the list itself and requests
to be added to or deleted from it should be directed, is:
Internet: [EMAIL PROTECTED]
You can submit announcements to be moderated via:
Internet: [EMAIL PROTECTED]
Linux may be obtained via one of these FTP sites:
ftp.funet.fi pub/Linux
tsx-11.mit.edu pub/linux
sunsite.unc.edu pub/Linux
End of Linux-Announce Digest
******************************
