|
|||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||
ACGException class is thrown to indicate some
part of ACG has encountered an error.ACGGenerate class takes an ACGProtocol and generates a java source file that
implements the actions of that protocol member.ACGObject interface defines the behavior that a
top-level message element should provide.ACGProtocol class represents the messages sent by a single party in
a protocol.ACGUtils class consists of constants that define
the different types that can be found in a protocol description.APGTokenizer class is used to tokenize an APG input file into
protocol sized chunks.AsyEncryptedAO class represents an encrypted message
which uses asymmetric keys.AthenaTokenizer class takes an input file generated by Athena,
and parses through the file.AthenaTranslation class is given data from a single protocol output by Athena,
and then constructs an ACGProtocol for every party to the protocol.EncryptedAO abstract class represents an encrypted
message consisting of ACGObjects.GenerateTest was written to test out
ACG itself.KeyAO class represents a key that can be serialized and
deserialized.Message class describes the format of a single message
sent or received by a protocol in a single round.NonceAO represents a nonce, which in this case
is currently a random string of 128 bits.PrincipalAO object represents principals in our protocol.SymEncryptedAO class represents an encrypted authentication message
using symmetric key encryption.Variable class is a container class that links the type of the variable
with its name.
|
|||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||