Rights to individual papers remain with the author or the author's employer. Permission is granted for noncommercial reproduction of the work for educational or research purposes. This copyright notice must be included in the reproduced paper. USENIX acknowledges all trademarks herein. Many DSL service providers use PPPoE for residential broadband Internet access. This paper briefly describes the PPPoE protocol, presents strategies for implementing it under Linux and describes in detail a user-space implementation of a PPPoE client. 1
|
641
|
A Set of Level 3 Basic Linear Algebra Subprograms
– Dongarra, Croz, et al.
- 1990
|
|
406
|
Basic linear algebra subprograms for FORTRAN usage
– Lawson, Hanson, et al.
- 1979
|
|
379
|
A Extended Set of Fortran Basic Linear Algebra Subprograms
– Dongarra, J, et al.
- 1986
|
|
348
|
A lattice-theoretical fixpoint theorem and its applications
– Tarski
- 1955
|
|
256
|
A sound type system for secure flow analysis
– Volpano, Smith, et al.
- 1996
|
|
244
|
Automatically tuned linear algebra software
– Whaley, Dongarra
- 1998
|
|
191
|
Programming Semantics for Multiprogrammed Computations
– Dennis, Horn
- 1966
|
|
161
|
Object-Oriented Type Systems
– Palsberg, Schwartzbach
- 1994
|
|
145
|
The Java Language Specification, Second Edition
– Gosling, Joy, et al.
- 2000
|
|
116
|
The Java Virtual Machine Specification, Second Edition, chapter 5
– Lindholm, Yellin
- 1999
|
|
73
|
Java Card Technology for Smart Cards: Architecture and Programmer’s Guide
– Chen
- 2000
|
|
64
|
A semantic model of reference counting and its abstraction
– Hudak
- 1986
|
|
63
|
Automatic computation of data set definitions
– Reynolds
- 1968
|
|
57
|
Beginning to Read: Thinking and Learning about Print
– Adams
- 1990
|
|
32
|
Semantics of Java byte code
– Bertelsen
- 1997
|
|
31
|
Security and dynamic class loading in Java: A formalisation
– Jensen, Metayer, et al.
- 1998
|
|
17
|
Flow Control for Limited Buffer Multicast
– Danzig
- 1994
|
|
14
|
Checking secure interactions of smart card applets
– Bieber, Cazin, et al.
- 2000
|
|
14
|
Secure object sharing in Java Card
– Montgomery, Krishna
- 1999
|
|
14
|
Matrix Computations. The Johns Hopkins University Press, third edition
– Golub, Van-Loan
- 1996
|
|
13
|
Semantics of Java bytecode
– Bertelsen
- 1997
|
|
11
|
A rational approach to portable high performance: the Basic Linear Algebra Instruction Set (BLAIS) and the Fixed Algorithm Size Template (fast) library
– Siek, Lumsdaine
- 1998
|
|
8
|
Context inference for static analysis of java card object sharing
– Caromel, Henrio, et al.
- 2001
|
|
7
|
Access Control: The Neglected Frontier
– Sandhu
- 1996
|
|
6
|
replacement in Linux 2.4 memory management
– Page
- 2001
|
|
5
|
Cousot and Radhia Cousot. Formal language, grammar and set-constraint-based program analysis by abstract interpretation
– Patrick
- 1995
|
|
5
|
A study of storage partitioning using a mathematical model of locality
– Coffman, Ryan
- 1972
|
|
5
|
Linux Core Kernel Commentary
– Maxwell
- 1999
|
|
3
|
An operational semantics of the java card firewall
– Eluard, Jensen, et al.
- 2001
|
|
3
|
Modélisation et implémentation formelle de la politique de sécurité dynamique de la Java Card
– Motré
- 2000
|
|
3
|
Architectures for Secure Multicast Communication
– Weis, Geyer, et al.
- 2000
|
|
2
|
A Domain and Type
– Badger, Sterne, et al.
- 1995
|
|
2
|
Type Enforcement, http://researchcistw.saic.com/ cace/dte.html
– Domain
|
|
2
|
An Approach to Dynamic Domain and Type
– Tidswell, Potter
- 1997
|
|
2
|
An integrated development environment for Java Card
– Attali, Caromel, et al.
- 2001
|
|
2
|
A formal specification of the Java Card applet firewall
– Siveroni, Jensen, et al.
- 2001
|
|
2
|
Notes on tuning VAX/VMS
– Lazowska, Kelsey
- 1978
|
|
2
|
Linux High Availability HOWTO". http://metalab.unc.edu/pub/Linux/ALPHA/linuxha /High-Availability-HOWTO.html
– Milz
|
|
1
|
Caromel, Carine Courbis, Ludovic Henrio, and Henrik Nilsson. Smart tools for Java Cards
– Attali, Denis
- 2000
|
|
1
|
Analyse de sécurité pour la certification d’applications Java Card
– Éluard
- 2001
|
|
1
|
A Method for Transmitting PPP Over Ethernet (PPPoE)”, L. Mamakos et al
– RFC
- 1999
|
|
1
|
Dynix library versioning practices, personal communication
– Huizenga
- 1997
|
|
1
|
and Eric W. Troan, “Linux Application Development
– Johnson
- 1998
|
|
1
|
The PHiPAC matrix-multiply distribution
– Bilmes, Asanovic, et al.
|
|
1
|
of Clusters, by Gregory F. Pfister, 2 nd Edition 1998
– Search
- 1987
|
|
1
|
L.,: "The High− Availability Linux Project
– Robertson
|
|
1
|
C.,: "Barrier Opera− tions". http://linux− ha.org/PhaseII/WhitePapers/sct/bar− rier.txt
– Tweedie
|
|
1
|
The Linux Fail Safe Project". http://oss.sgi.com/proj− ects/failsafe
– Vasa
|
|
1
|
The first “R” in 21st Century Classrooms. Paper presented at the Annual Meeting of the National Reading Conference
– Baumann, Hoffman, et al.
- 1996
|
|
1
|
Reading literacy in the United States: Findings from the IEA reading literacy study (Report No
– Binkley, Williams
- 1996
|
