CODEX_APSS::MessageVerifier Class Reference

Verify the correctness of APSS protocol messages. More...

#include <MessageVerifier.h>

Inheritance diagram for CODEX_APSS::MessageVerifier:

[legend]Collaboration diagram for CODEX_APSS::MessageVerifier:

[legend]List of all members.

Public Member Functions
	MessageVerifier (CODEX_Events::DeadPileType &deadPile, CODEX_Events::QType &eventQueue, RoutedMessageHandler *destination, CODEX_Server::ServerResponseHandler *responder)
	Create a MessageVerifier.
virtual	~MessageVerifier ()
	Virtual destructor.
bool	handler (RoutedMessageEvent< SignedInitMsg > &event)
bool	handler (RoutedMessageEvent< SignedEstablishMsg > &event)
bool	handler (RoutedMessageEvent< SignedComputeMsg > &event)
bool	handler (RoutedMessageEvent< SignedRecoverMsg > &event)
	Abstract handler for a signed RecoverMsg.
bool	handler (RoutedMessageEvent< SignedFinishedMsg > &event)
	Abstract handler for a signed FinishedMsg.
virtual bool	handler (EventAck &event)
	The base class is responsible for handling acknowledgements, which are relevant to whether the Activity is ready for deletion.
Protected Member Functions
void	sendEvent (EventBase *event, Activity *source, bool failure=false)
void	enableTerminate ()
	This method should be called when an Activity has received a CloseEvent or other indicator that it is no longer needed.
Protected Attributes
DeadPileType &	m_deadPile
	The pile of Activity%s to be garbage-collected.
QType &	m_queue
	The event queue.

---

Detailed Description

Verify the correctness of APSS protocol messages.

This RoutedMessageHandler checks signatures on requests, verifies evidence, and performs any other needed tasks, such as caching requests in StateInfo's logs. If successful, it re-routes the message event to its successor.

Definition at line 33 of file MessageVerifier.h.

---

Member Function Documentation

void Activity::enableTerminate (   )  [protected, inherited]

This method should be called when an Activity has received a CloseEvent or other indicator that it is no longer needed. Actual termination will not occur until there are no remaining events outstanding (unacknowledged). Definition at line 63 of file Activity.cc. Referenced by CODEX_KeyService::ClientActivity::handler(), and CODEX_KeyService::ClientActivity::processRequest().

bool Activity::handler (  EventAck &  event  )  [virtual, inherited]

The base class is responsible for handling acknowledgements, which are relevant to whether the Activity is ready for deletion. If a derived class reimpliments this method, it must call this version explicitly. Definition at line 39 of file Activity.cc. Referenced by CODEX_Events::EventAck::handle(), and CODEX_KeyService::ClientActivity::handler().

bool MessageVerifier::handler (  RoutedMessageEvent< SignedComputeMsg > &  event  )  [virtual]

Todo: Add logging for inconsistent messages. Implements CODEX_APSS::RoutedMessageHandler. Definition at line 357 of file MessageVerifier.cc. References CODEX_APSS::StateInfo::addComputeMsg(), CODEX_APSS::StateInfo::computeRecord(), CODEX_APSS::ComputeMsg::coordinator(), CODEX_APSS::Message::digest(), CODEX_APSS::StateInfo::domain(), CODEX_Quorum::Message::fill(), CODEX_Server::ServerState::hashFunc(), CODEX_VSS::SubshareLabel< _ShareLabel >::id(), CODEX_ASN1::Base::initialized(), CODEX_Server::ServerState::instance(), CODEX_APSS::StateInfo::instance(), CODEX_VSS::SubshareLabel< _ShareLabel >::label(), CODEX_APSS::SignedMessage< MT, ST >::marshal(), CODEX_APSS::SignedMessage< MT, ST >::message(), CODEX_Server::ServerState::publicKey(), CODEX_APSS::ComputeRecord::request(), CODEX_APSS::ComputeRecord::response(), CODEX_Events::Activity::sendEvent(), CODEX_APSS::StateInfo::sendFinished(), CODEX_APSS::SignedMessage< MT, ST >::signature(), CODEX_APSS::SignatureMask, CODEX_APSS::ComputeMsg::subshareLabel(), CODEX_ASN1::Integer::value(), and CODEX_Ciphers::RSAPublicKey::verifySignature().

bool MessageVerifier::handler (  RoutedMessageEvent< SignedEstablishMsg > &  event  )  [virtual]

Todo: Add logging for inconsistent messages. Implements CODEX_APSS::RoutedMessageHandler. Definition at line 188 of file MessageVerifier.cc. References CODEX_APSS::StateInfo::addEstablishMsg(), CODEX_VSS::SecretWitness< _ShareType, _OneWay >::args(), CODEX_VSS::SubshareLabel< _ShareLabel >::check(), CODEX_APSS::Message::digest(), CODEX_APSS::StateInfo::domain(), CODEX_APSS::EstablishMsg::establisher(), CODEX_APSS::StateInfo::establishRecord(), CODEX_Quorum::Message::fill(), CODEX_Server::ServerState::hashFunc(), CODEX_VSS::SubshareLabel< _ShareLabel >::id(), CODEX_ASN1::Base::initialized(), CODEX_Server::ServerState::instance(), CODEX_APSS::StateInfo::instance(), CODEX_VSS::SubshareLabel< _ShareLabel >::label(), CODEX_APSS::SignedMessage< MT, ST >::marshal(), CODEX_APSS::SignedMessage< MT, ST >::message(), CODEX_Server::ServerState::publicKey(), CODEX_APSS::EstablishRecord::request(), CODEX_APSS::EstablishRecord::response(), CODEX_Events::Activity::sendEvent(), CODEX_APSS::StateInfo::sendFinished(), CODEX_APSS::EstablishMsg::shares(), CODEX_APSS::SignedMessage< MT, ST >::signature(), CODEX_APSS::SignatureMask, CODEX_APSS::EstablishMsg::sublabel(), CODEX_ASN1::Integer::value(), CODEX_VSS::SubshareLabel< _ShareLabel >::verify(), CODEX_Ciphers::RSAPublicKey::verifySignature(), CODEX_APSS::EstablishMsg::version(), CODEX_VSS::SecretWitness< _ShareType, _OneWay >::witness(), and CODEX_APSS::StateInfo::witness().

bool MessageVerifier::handler (  RoutedMessageEvent< SignedInitMsg > &  event  )  [virtual]

Todo: Add logging for inconsistent messages. Implements CODEX_APSS::RoutedMessageHandler. Definition at line 46 of file MessageVerifier.cc. References CODEX_APSS::StateInfo::addInitMsg(), CODEX_APSS::InitMsg::coordinator(), CODEX_APSS::Message::digest(), CODEX_APSS::StateInfo::domain(), CODEX_Quorum::Message::fill(), CODEX_Server::ServerState::hashFunc(), CODEX_ASN1::Base::initialized(), CODEX_APSS::StateInfo::initRecord(), CODEX_Server::ServerState::instance(), CODEX_APSS::StateInfo::instance(), CODEX_APSS::InitMsg::label(), CODEX_APSS::SignedMessage< MT, ST >::marshal(), CODEX_APSS::SignedMessage< MT, ST >::message(), CODEX_Server::ServerState::publicKey(), CODEX_APSS::InitRecord::request(), CODEX_APSS::InitRecord::response(), CODEX_Events::Activity::sendEvent(), CODEX_APSS::StateInfo::sendFinished(), CODEX_APSS::SignedMessage< MT, ST >::signature(), CODEX_APSS::SignatureMask, CODEX_ASN1::Integer::value(), CODEX_Ciphers::RSAPublicKey::verifySignature(), and CODEX_APSS::InitMsg::version().

void Activity::sendEvent (  EventBase *  event, Activity *  source, bool  failure = false )  [protected, inherited]

Parameters: event  New event to be added to the queue source  Source of event just handled, to which an acknowledgement should be sent. This is accessed by the method EventBase::source(). failure  Is the acknowledgment a negative ack? Definition at line 49 of file Activity.cc. References CODEX_Events::Activity::m_queue. Referenced by CODEX_APSS::InitActivity::addEvidence(), CODEX_APSS::MessageDeliverer::broadcast(), CODEX_KeyService::ClientActivity::close(), CODEX_Server::UnicastRequestHandler::handler(), CODEX_Server::ShareLabelChallengeHandler::handler(), CODEX_Server::ServerResponseHandler::handler(), CODEX_Server::QuorumBuilderAct::handler(), handler(), CODEX_APSS::MessageProcessor::handler(), CODEX_APSS::InitActivity::handler(), CODEX_KeyService::DelegateResponseVerifier::handler(), CODEX_KeyService::DelegateRequestDistributor::handler(), CODEX_KeyService::ClientResponseSigner::handler(), CODEX_KeyService::ClientMessageVerifier::handler(), CODEX_KeyService::ClientMessageSigner::handler(), CODEX_KeyService::ClientMessageAbsorber::handler(), CODEX_KeyService::ClientActivity::handler(), CODEX_Server::BroadcastRequestHandler::handler(), CODEX_KeyService::VerifyWriteCallback::operator()(), CODEX_KeyService::SignWriteCallback::operator()(), CODEX_KeyService::SignReadCallback::operator()(), CODEX_KeyService::SignCreateCallback::operator()(), CODEX_APSS::MessageParser::operator()(), CODEX_KeyService::ClientWriteCallback::operator()(), CODEX_KeyService::ClientResponseParser::operator()(), CODEX_KeyService::ClientReadCallback::operator()(), CODEX_KeyService::ClientMessageParser::operator()(), CODEX_KeyService::ClientCreateCallback::operator()(), CODEX_KeyService::ClientActivity::processRequest(), CODEX_Server::QuorumBuilderAct::QuorumBuilderAct(), CODEX_APSS::MessageDeliverer::sendTo(), CODEX_Server::ShareLabelChallengeHandler::ShareLabelChallengeHandler(), and CODEX_APSS::TriggerActivity::TriggerActivity().

---

The documentation for this class was generated from the following files:

• MessageVerifier.h
• MessageVerifier.cc

---