public class ZK_Simulation extends javax.swing.JFrame implements java.awt.event.WindowListener, java.awt.event.ActionListener, GUIObserver
javax.swing.JFrame.AccessibleJFrame
java.awt.Window.AccessibleAWTWindow, java.awt.Window.Type
Modifier and Type | Field and Description |
---|---|
private javax.swing.JButton |
button_complete |
private javax.swing.JButton |
button_round |
private java.awt.GridBagLayout |
GL |
private java.awt.GridBagLayout |
GL2 |
private java.awt.GridBagLayout |
GL3 |
private java.awt.GridBagLayout |
GL6 |
private int |
HEIGHT |
private javax.swing.JTextArea |
inS |
private javax.swing.JTextArea |
inV |
private javax.swing.JLabel |
label_g |
private javax.swing.JLabel |
label_p |
private javax.swing.JLabel |
label_panelSim |
private javax.swing.JLabel |
label_public |
private javax.swing.JLabel |
label_q |
private javax.swing.JLabel |
label_simulator |
private javax.swing.JLabel |
label_transcript |
private javax.swing.JLabel |
label_verifier |
private java.awt.Container |
pane |
private javax.swing.JPanel |
panel_prot |
private javax.swing.JPanel |
panel1 |
private javax.swing.JPanel |
panel2 |
private int |
round |
(package private) static long |
serialVersionUID |
private Simulator |
simulator |
private javax.swing.JTextArea |
text_g |
private javax.swing.JTextArea |
text_p |
private javax.swing.JTextArea |
text_q |
private javax.swing.JTextArea |
text_simulator |
private javax.swing.JTextArea |
text_transcript |
private javax.swing.JTextArea |
text_verifier |
private java.math.BigInteger |
v_a |
private boolean |
v_accept |
private int |
v_c |
private double |
v_prob |
private java.math.BigInteger |
v_z |
private Verifier |
verifier |
private int |
WIDTH |
accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled
CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
Constructor and Description |
---|
ZK_Simulation(java.math.BigInteger x) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
int |
getHEIGHT() |
int |
getWIDTH() |
void |
initDialog() |
void |
initialisiere(GroupParam group,
java.math.BigInteger x,
int length) |
void |
show_P_commitment(java.math.BigInteger s,
java.math.BigInteger a) |
void |
show_P_commitment(java.math.BigInteger s,
java.math.BigInteger a,
java.math.BigInteger t,
int d,
java.math.BigInteger b) |
void |
show_P_response(int c,
java.math.BigInteger z) |
void |
show_P_response(int c,
java.math.BigInteger z,
int d,
java.math.BigInteger y) |
void |
show_P_secret(java.math.BigInteger w,
java.math.BigInteger h) |
void |
show_S_commitment(java.math.BigInteger z,
java.math.BigInteger a,
int c) |
void |
show_S_response(java.math.BigInteger z,
boolean accept) |
void |
show_S_round(java.math.BigInteger z,
java.math.BigInteger a,
int c,
boolean accept) |
void |
show_V_challenge(java.math.BigInteger a,
java.math.BigInteger b,
int c) |
void |
show_V_challenge(java.math.BigInteger a,
int c) |
void |
show_V_verify(int c,
java.math.BigInteger z,
boolean accept,
double prob) |
void |
show_V_verify(int c,
java.math.BigInteger z,
int d,
java.math.BigInteger t,
boolean accept1,
boolean accept2,
double prob) |
void |
simulationComplete()
Die Methode startet solange Simulationsrunden bis der Simulator in den
Zustand complete=TRUE übergeht.
|
void |
simulationRound()
Die Methode startet eine einzelne Simulationsrunde.
|
void |
windowActivated(java.awt.event.WindowEvent event) |
void |
windowClosed(java.awt.event.WindowEvent event) |
void |
windowClosing(java.awt.event.WindowEvent event) |
void |
windowDeactivated(java.awt.event.WindowEvent event) |
void |
windowDeiconified(java.awt.event.WindowEvent event) |
void |
windowIconified(java.awt.event.WindowEvent event) |
void |
windowOpened(java.awt.event.WindowEvent event) |
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, setTransferHandler, update
addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setBackground, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setOpacity, setResizable, setShape, setState, setTitle, setUndecorated
addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBackground, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOpacity, getOwnedWindows, getOwner, getOwnerlessWindows, getShape, getToolkit, getType, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isAutoRequestFocus, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isOpaque, isShowing, isValidateRoot, pack, paint, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setAutoRequestFocus, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocation, setLocation, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setType, setVisible, show, toBack, toFront
add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, transferFocusDownCycle, validate, validateTree
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resize, resize, revalidate, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
static final long serialVersionUID
private java.awt.Container pane
private int WIDTH
private int HEIGHT
private java.awt.GridBagLayout GL
private java.awt.GridBagLayout GL2
private java.awt.GridBagLayout GL3
private java.awt.GridBagLayout GL6
private javax.swing.JPanel panel1
private javax.swing.JPanel panel2
private javax.swing.JPanel panel_prot
private javax.swing.JLabel label_simulator
private javax.swing.JLabel label_transcript
private javax.swing.JLabel label_verifier
private javax.swing.JLabel label_public
private javax.swing.JLabel label_p
private javax.swing.JLabel label_q
private javax.swing.JLabel label_g
private javax.swing.JLabel label_panelSim
private javax.swing.JTextArea text_p
private javax.swing.JTextArea text_q
private javax.swing.JTextArea text_g
private javax.swing.JTextArea text_simulator
private javax.swing.JTextArea text_verifier
private javax.swing.JTextArea inS
private javax.swing.JTextArea inV
private javax.swing.JTextArea text_transcript
private javax.swing.JButton button_round
private javax.swing.JButton button_complete
private Simulator simulator
private Verifier verifier
private int round
private java.math.BigInteger v_a
private java.math.BigInteger v_z
private int v_c
private boolean v_accept
private double v_prob
public void initDialog()
public int getWIDTH()
public int getHEIGHT()
public void actionPerformed(java.awt.event.ActionEvent e)
actionPerformed
in interface java.awt.event.ActionListener
public void windowActivated(java.awt.event.WindowEvent event)
windowActivated
in interface java.awt.event.WindowListener
public void windowClosed(java.awt.event.WindowEvent event)
windowClosed
in interface java.awt.event.WindowListener
public void windowClosing(java.awt.event.WindowEvent event)
windowClosing
in interface java.awt.event.WindowListener
public void windowDeactivated(java.awt.event.WindowEvent event)
windowDeactivated
in interface java.awt.event.WindowListener
public void windowDeiconified(java.awt.event.WindowEvent event)
windowDeiconified
in interface java.awt.event.WindowListener
public void windowIconified(java.awt.event.WindowEvent event)
windowIconified
in interface java.awt.event.WindowListener
public void windowOpened(java.awt.event.WindowEvent event)
windowOpened
in interface java.awt.event.WindowListener
public void initialisiere(GroupParam group, java.math.BigInteger x, int length)
public void simulationComplete()
public void simulationRound()
public void show_S_round(java.math.BigInteger z, java.math.BigInteger a, int c, boolean accept)
show_S_round
in interface GUIObserver
public void show_V_challenge(java.math.BigInteger a, int c)
show_V_challenge
in interface GUIObserver
public void show_V_verify(int c, java.math.BigInteger z, boolean accept, double prob)
show_V_verify
in interface GUIObserver
public void show_S_commitment(java.math.BigInteger z, java.math.BigInteger a, int c)
public void show_S_response(java.math.BigInteger z, boolean accept)
public void show_P_secret(java.math.BigInteger w, java.math.BigInteger h)
show_P_secret
in interface GUIObserver
public void show_P_commitment(java.math.BigInteger s, java.math.BigInteger a)
show_P_commitment
in interface GUIObserver
public void show_P_commitment(java.math.BigInteger s, java.math.BigInteger a, java.math.BigInteger t, int d, java.math.BigInteger b)
show_P_commitment
in interface GUIObserver
public void show_P_response(int c, java.math.BigInteger z)
show_P_response
in interface GUIObserver
public void show_P_response(int c, java.math.BigInteger z, int d, java.math.BigInteger y)
show_P_response
in interface GUIObserver
public void show_V_verify(int c, java.math.BigInteger z, int d, java.math.BigInteger t, boolean accept1, boolean accept2, double prob)
show_V_verify
in interface GUIObserver
public void show_V_challenge(java.math.BigInteger a, java.math.BigInteger b, int c)
show_V_challenge
in interface GUIObserver