1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
#
# security routines implemented in limbo
#
Virgil: module
{
PATH: con "/dis/lib/virgil.dis";
virgil: fn(args: list of string): string;
};
Random: module
{
PATH: con "/dis/lib/random.dis";
ReallyRandom: con 0;
NotQuiteRandom: con 1;
randomint: fn(which: int): int;
randombuf: fn(which, n: int): array of byte;
};
#
# secure socket layer emulator
#
SSL: module
{
PATH: con "/dis/lib/ssl.dis";
connect: fn(fd: ref Sys->FD): (string, ref Sys->Connection);
secret: fn(c: ref Sys->Connection, secretin, secretout: array of byte): string;
};
#
# Encrypted Key Exchange protocol
#
Login: module
{
PATH: con "/dis/lib/login.dis";
login: fn(id, password, dest: string): (string, ref Keyring->Authinfo);
};
#
# Station To Station protocol
#
Auth: module
{
PATH: con "/dis/lib/auth.dis";
init: fn(): string;
server: fn(algs: list of string, ai: ref Keyring->Authinfo, fd: ref Sys->FD, setid: int): (ref Sys->FD, string);
client: fn(alg: string, ai: ref Keyring->Authinfo, fd: ref Sys->FD): (ref Sys->FD, string);
auth: fn(ai: ref Keyring->Authinfo, keyspec: string, alg: string, dfd: ref Sys->FD): (ref Sys->FD, ref Keyring->Authinfo, string);
keyfile: fn(keyspec: string): string;
key: fn(keyspec: string): ref Keyring->Authinfo;
};
|
