SOMA.naming
Class AgentIDSigned

java.lang.Object
  SOMA.naming.AgentID
      SOMA.naming.AgentIDSigned

All Implemented Interfaces:

java.io.Serializable

public class AgentIDSigned

extends AgentID

implements java.io.Serializable

Identificatore di un agente.

Author:

Luca Ghetti

See Also:

Serialized Form

Field Summary

byte[]	CodeAgentSignature
byte[]	StateAgentSignature
X509Certificate	x509 Numero di serie dell'agente, unico nell'ambito di un place.

Fields inherited from class SOMA.naming.AgentID

ID, place

Constructor Summary

	AgentIDSigned(PlaceID place, int ID) Costruisce un identificatore a partire dalle sue componenti.
(package private)	AgentIDSigned(PlaceID place, int ID, X509Certificate x509, byte[] CodeAgentSignature, byte[] StateAgentSignature)
	AgentIDSigned(java.lang.String s) Costruisce un identificatore a partire da una stringa.

Method Summary

java.lang.Object	clone()
boolean	equals(java.lang.Object obj)
X509Certificate	getCertificate()
boolean	signatureCode(ProfileManager profile, java.lang.String agentName)
boolean	signatureState(ProfileManager profile)
boolean	verifyCode(SecurityEnvironment env, java.lang.String agentName)
boolean	verifyCode(SecurityEnvironment env, java.lang.String agentName, byte[] classData)
boolean	verifyState(SecurityEnvironment env)

Methods inherited from class SOMA.naming.AgentID

getHome, hashCode, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

x509

public X509Certificate x509

Numero di serie dell'agente, unico nell'ambito di un place.

CodeAgentSignature

public byte[] CodeAgentSignature

StateAgentSignature

public byte[] StateAgentSignature

Constructor Detail

AgentIDSigned

AgentIDSigned(PlaceID place,
              int ID,
              X509Certificate x509,
              byte[] CodeAgentSignature,
              byte[] StateAgentSignature)

AgentIDSigned

public AgentIDSigned(PlaceID place,
                     int ID)

Costruisce un identificatore a partire dalle sue componenti.

AgentIDSigned

public AgentIDSigned(java.lang.String s)
              throws NameException,
                     java.lang.NumberFormatException

Costruisce un identificatore a partire da una stringa.
E' l'inversa di AgentID.toString().

Method Detail

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class AgentID

getCertificate

public X509Certificate getCertificate()

clone

public java.lang.Object clone()

Overrides:

clone in class AgentID

signatureCode

public final boolean signatureCode(ProfileManager profile,
                                   java.lang.String agentName)

verifyCode

public final boolean verifyCode(SecurityEnvironment env,
                                java.lang.String agentName)

verifyCode

public final boolean verifyCode(SecurityEnvironment env,
                                java.lang.String agentName,
                                byte[] classData)

signatureState

public final boolean signatureState(ProfileManager profile)

verifyState

public final boolean verifyState(SecurityEnvironment env)