/// <summary>
/// Create a personal profile including the associated master and administration
/// profiles.
/// </summary>
/// <param name="DeviceProfile">The device profile to be the initial
/// administration device for the profile.</param>
public PersonalProfile(SignedDeviceProfile DeviceProfile) {
_PersonalMasterProfile = new MasterProfile(CryptoCatalog.Default);
SignedMasterProfile = new SignedMasterProfile(_PersonalMasterProfile);
// Set up the device and application profiles.
Initialize(_PersonalMasterProfile, DeviceProfile);
}
/// <summary>
/// Unpack the signed data and verify its consistency.
/// </summary>
/// <returns>The corresponding master profile if validation is successful,
/// otherwise null.</returns>
public virtual MasterProfile UnpackAndVerify() {
var Text = Encoding.UTF8.GetString(SignedData.Payload);
//Goedel.Debug.Trace.WriteLine("Data as signed {0}", Text);
var Unpacked = MasterProfile.FromTagged(Text);
var SigningKey = Unpacked.MasterSignatureKey.KeyPair;
var Verify = SignedData.Verify(Unpacked.MasterSignatureKey.UDF, SigningKey);
Throw.IfNot(Verify, "Master signature does not verify");
Unpacked.Unpack();
_Signed = Unpacked;
return Unpacked;
}
/// <summary>
/// Construct a signed profile from the specified profile.
/// </summary>
/// <param name="Data">The profile to sign.</param>
public SignedMasterProfile(MasterProfile Data) {
Identifier = Data.Identifier; // pass through
SignedData = new JoseWebSignature(Data.GetBytes(), Data.MasterSignatureKey.KeyPair);
_Signed = Data;
}
/// <summary>
/// Create a personal profile with the specified master and administration
/// profiles.
/// </summary>
/// <param name="PersonalMasterProfile">The master profile for this
/// personal profile.</param>
/// <param name="DeviceProfile">The device profile to be the initial
/// administration device for the profile.</param>
public PersonalProfile(MasterProfile PersonalMasterProfile,
SignedDeviceProfile DeviceProfile) {
Initialize(PersonalMasterProfile, DeviceProfile);
}
/// <summary>
/// Unpack the profile and signed sub profiles.
/// </summary>
public override void Unpack() {
Throw.If(SignedMasterProfile == null, "No master profile");
//Throw.If(SignedAdministrationProfile == null, "No administration profile");
Throw.If(Devices == null, "No device profile");
_PersonalMasterProfile = SignedMasterProfile.UnpackAndVerify();
//_AdministrationProfile = SignedAdministrationProfile.UnpackAndVerify();
foreach (var Device in Devices) {
Device.UnpackAndVerify();
}
}
private void Initialize (MasterProfile PersonalMasterProfile,
SignedDeviceProfile DeviceProfile) {
SignedDeviceProfile = DeviceProfile;
Identifier = _PersonalMasterProfile.MasterSignatureKey.UDF;
Devices = new List<SignedDeviceProfile>();
Devices.Add(DeviceProfile);
Applications = new List<ApplicationProfileEntry>();
}
/// <summary>
/// Construct an instance from the specified tagged JSONReader stream.
/// </summary>
/// <param name="JSONReader">Input stream</param>
/// <param name="Out">The created object</param>
public static void Deserialize(JSONReader JSONReader, out JSONObject Out) {
JSONReader.StartObject ();
if (JSONReader.EOR) {
Out = null;
return;
}
string token = JSONReader.ReadToken ();
Out = null;
switch (token) {
case "PublicKey" : {
var Result = new PublicKey ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "SignedData" : {
var Result = new SignedData ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "EncryptedData" : {
var Result = new EncryptedData ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "Connection" : {
var Result = new Connection ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "Entry" : {
var Result = new Entry ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "SignedProfile" : {
var Result = new SignedProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "Profile" : {
Out = null;
throw new Exception ("Can't create abstract type");
}
case "SignedDeviceProfile" : {
var Result = new SignedDeviceProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "DeviceProfile" : {
var Result = new DeviceProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "DevicePrivateProfile" : {
var Result = new DevicePrivateProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "SignedMasterProfile" : {
var Result = new SignedMasterProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "MasterProfile" : {
var Result = new MasterProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "SignedPersonalProfile" : {
var Result = new SignedPersonalProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "PersonalProfile" : {
var Result = new PersonalProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "SignedApplicationProfile" : {
var Result = new SignedApplicationProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "EncryptedProfile" : {
var Result = new EncryptedProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "ApplicationProfile" : {
var Result = new ApplicationProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "ApplicationProfilePrivate" : {
var Result = new ApplicationProfilePrivate ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "ApplicationProfileEntry" : {
var Result = new ApplicationProfileEntry ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "EscrowEntry" : {
var Result = new EscrowEntry ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "OfflineEscrowEntry" : {
var Result = new OfflineEscrowEntry ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "OnlineEscrowEntry" : {
var Result = new OnlineEscrowEntry ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "EscrowedKeySet" : {
var Result = new EscrowedKeySet ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "ConnectionRequest" : {
var Result = new ConnectionRequest ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "SignedConnectionRequest" : {
var Result = new SignedConnectionRequest ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "ConnectionResult" : {
var Result = new ConnectionResult ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "SignedConnectionResult" : {
var Result = new SignedConnectionResult ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
default : {
throw new Exception ("Not supported");
}
}
JSONReader.EndObject ();
}
/// <summary>
/// Deserialize a tagged stream
/// </summary>
/// <param name="JSONReader">The input stream</param>
/// <returns>The created object.</returns>
public static new MasterProfile FromTagged (JSONReader JSONReader) {
MasterProfile Out = null;
JSONReader.StartObject ();
if (JSONReader.EOR) {
return null;
}
string token = JSONReader.ReadToken ();
switch (token) {
case "MasterProfile" : {
var Result = new MasterProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
default : {
//Ignore the unknown data
//throw new Exception ("Not supported");
break;
}
}
JSONReader.EndObject ();
return Out;
}
/// <summary>
/// Deserialize a tagged stream
/// </summary>
/// <param name="JSONReader">The input stream</param>
/// <returns>The created object.</returns>
public static new Profile FromTagged (JSONReader JSONReader) {
Profile Out = null;
JSONReader.StartObject ();
if (JSONReader.EOR) {
return null;
}
string token = JSONReader.ReadToken ();
switch (token) {
case "Profile" : {
Out = null;
throw new Exception ("Can't create abstract type");
}
case "DeviceProfile" : {
var Result = new DeviceProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "MasterProfile" : {
var Result = new MasterProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "PersonalProfile" : {
var Result = new PersonalProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "ApplicationProfile" : {
var Result = new ApplicationProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
default : {
//Ignore the unknown data
//throw new Exception ("Not supported");
break;
}
}
JSONReader.EndObject ();
return Out;
}
/// <summary>
/// Deserialize a tagged stream
/// </summary>
/// <param name="JSONReader">The input stream</param>
/// <returns>The created object.</returns>
public static new Entry FromTagged (JSONReader JSONReader) {
Entry Out = null;
JSONReader.StartObject ();
if (JSONReader.EOR) {
return null;
}
string token = JSONReader.ReadToken ();
switch (token) {
case "Entry" : {
var Result = new Entry ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "SignedProfile" : {
var Result = new SignedProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "SignedDeviceProfile" : {
var Result = new SignedDeviceProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "SignedMasterProfile" : {
var Result = new SignedMasterProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "SignedPersonalProfile" : {
var Result = new SignedPersonalProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "SignedApplicationProfile" : {
var Result = new SignedApplicationProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "SignedConnectionRequest" : {
var Result = new SignedConnectionRequest ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "SignedConnectionResult" : {
var Result = new SignedConnectionResult ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "Profile" : {
Out = null;
throw new Exception ("Can't create abstract type");
}
case "DeviceProfile" : {
var Result = new DeviceProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "MasterProfile" : {
var Result = new MasterProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "PersonalProfile" : {
var Result = new PersonalProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "ApplicationProfile" : {
var Result = new ApplicationProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "EncryptedProfile" : {
var Result = new EncryptedProfile ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "ApplicationProfilePrivate" : {
var Result = new ApplicationProfilePrivate ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "EscrowEntry" : {
var Result = new EscrowEntry ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "OfflineEscrowEntry" : {
var Result = new OfflineEscrowEntry ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
case "OnlineEscrowEntry" : {
var Result = new OnlineEscrowEntry ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
default : {
//Ignore the unknown data
//throw new Exception ("Not supported");
break;
}
}
JSONReader.EndObject ();
return Out;
}
