CiteULike: michaelbanks's Raghavendra:KR [1 article]

Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

michaelbanks's tags

All tags in michaelbanks's library

Filter:

Only showing top 500 tags from 609 total.

Privacy Statement | Terms & Conditions

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

security	352
protocol	146
book	99
refinement	95
information-flow	91
specification	88
formal-methods	86
verification	79
2008	75
model	65
2006	64
proof	59
2009	59
property	58
attack	58
analysis	51
csp	51
noninterference	50
2007	49
formal	48
2005	48
language	45
logic	45
system	44
survey	42
2003	41
semantics	39
1996	38
z	37
confidentiality	36
software	35
textbook	35
programming	34
type-flaw	33
process-algebra	33
composition	32
2001	31
program	31
policy	30
framework	30
1995	29
model-checking	29
theory	29
tool	28
introduction	27
authentication	27
2000	27
automatic	26
1990	26
software-engineering	26
2002	26
1994	25
mathematics	25
1997	24
cryptography	24
2004	24
1992	23
1999	23
1998	22
concurrency	21
probabilistic	19
trace	19
bell-lapadula	18
access-control	18
development	18
safety	18
1987	18
distributed	17
1993	17
theorem-proving	17
commercial	16
circus	16
unwinding	16
needham-schroeder	15
algebraic	15
possibilistic	15
refinement-calculus	14
utp	14
criticism	14
design	14
information	13
liveness	13
integrity	13
key	13
testing	13
alloy	12
1989	12
data	12
1988	12
hacking	12
search	12
ban	11
java	11
fdr	11
nondeterministic	11
engineering	11
preserving	11
bisimulation	11
multi-level	11
case-study	11
maks	11
requirements	11
1991	10
ccs	10
haskell	10
event-b	10
yahalom	10
synthesis	10
correctness	10
nondeducibility	9
public	9
availability	9
anonymity	9
channels	9
category-theory	9
hoare-logic	9
type-system	9
strand-space	9
reasoning	9
1981	9
comparison	8
1985	8
knowledge	8
spi-calculus	8
heuristic	8
verified-software-repository	8
b-method	8
opinion	8
dolev-yao	8
simulation	8
privacy	8
operational	8
constraint-solving	8
belief	8
temporal	8
functional-programming	7
1984	7
1978	7
kernel	7
guidance	7
1977	7
compiler	7
static-analysis	7
tagging	7
neuman-stubblebine	7
1986	7
separability	7
automata	7
covert	7
replay	6
communication	6
tutorial	6
transformation	6
action	6
roundtable	6
operating-system	6
executable	6
history	6
type-checking	6
denotational	6
rodin	6
object-z	6
key-establishment	5
isabelle	5
philosophy	5
uml	5
grand-challenge	5
pi-calculus	5
abstraction	5
decidability	5
stepwise	5
generalised	5
optimisation	5
1976	5
1983	5
lattice	5
standard	5
predicate-transformer	5
file-system	5
control-flow	5
paradox	5
noninference	5
mondex	5
role-based-access-control	5
svo	5
otway-rees	5
multi-agent	5
jif	5
derivation	5
management	5
precondition	5
expressiveness	5
transitive	5
coq	5
structure	5
game-theory	4
guarded	4
gdoi	4
reliability	4
economics	4
implementation	4
stairs	4
labelled-transition-system	4
spa	4
quantitative	4
1972	4
validation	4
cipher-block-chaining	4
resource-allocation	4
review	4
weakest	4
distribution	4
time	4
vdm	4
induction	4
1980	4
object-oriented	4
posix	4
selective-interleaving	4
1982	4
biba	4
confinement	4
tla	4
z-eves	4
deterministic	4
state-machine	4
definition	4
architecture	4
axiomatic	4
model-driven	4
casper	4
failures	4
general	4
hol	4
network	4
equivalence	4
web-services	4
social-processes	3
reconfigurable	3
principles	3
unifying	3
window	3
certification	3
password	3
flaw	3
computer	3
decomposition	3
denial-of-service	3
methods	3
event	3
relational	3
abstract-interpretation	3
advocacy	3
accountability	3
artificial-intelligence	3
kerberos	3
1969	3
genetic-algorithm	3
larch	3
command	3
flow	3
raise	3
risk	3
declassification	3
linking	3
no-silver-bullet	3
divergences	3
rewrite	3
inference-control	3
capacity	3
trust	3
set-theory	3
voting	3
predicate-calculus	3
godel	3
lysa	3
simulated-annealing	3
1979	3
chinese-wall	3
usability	3
athena	3
mechanised	3
galois-connection	3
predicate	3
ada	3
1975	3
recursion	3
internet	3
chaos-report	3
ponder	3
perfect	3
hru	2
functionality	2
emergence	2
extraction	2
pattern-matching	2
csp-oz	2
mandatory-access-control	2
reference	2
sat-solver	2
finalisation	2
discretionary-access-control	2
diagram	2
database	2
practical	2
assurance	2
pointers	2
animation	2
storage	2
nonce	2
retrieve-relation	2
mix	2
safety-critical	2
scyther	2
records	2
lambda-calculus	2
quantification	2
dynamic	2
kao-chow	2
shadow-semantics	2
prolog	2
obligation	2
1971	2
1973	2
multics	2
restrictiveness	2
indistinguishability-classes	2
2010	2
hardware	2
complexity	2
topology	2
swift	2
natural	2
separation	2
s3a	2
evaluation	2
system-z	2
representation	2
adaptation	2
dining-cryptographers	2
possible-worlds	2
eiffel	2
timestamp	2
real-time	2
separation-logic	2
mobile	2
relation	2
non-functional	2
virus	2
spore-library	2
focus	2
avispa	2
hypervisor	2
closure	2
xen-hypervisor	2
research	2
andrew-secure-rpc	2
incident-insensitive	2
floating-point	2
translation	2
spi2java	2
parser	2
xenon	2
spark	2
indistinguishable	2
guidelines	2
ckt5	2
state-based	2
computability	2
ibm-cics	2
writing	2
woo-lam	2
theorem	2
clark-wilson	2
sequential	2
limitations	2
ignorance	2
genetic-programming	2
efficient	2
memory	2
turing-award	2
guessing	2
contract	2
teaching	2
dictionary	2
hyperproperty	2
project	2
algorithm	2
separation-of-duty	2
1974	2
statistics	2
authenticity	2
capsl	2
operators	2
fm	2
algorithms	2
tokeneer	2
grid-computing	1
game	1
nonfunctional	1
eigen	1
timing-channels	1
may	1
environment	1
weak	1
refusals	1
monte-carlo	1
common-criteria	1
visual	1
interation	1
cut-and-paste	1
collaborative	1
decoding	1
invariant	1
high-assurance	1
finger-tree	1
art	1
anonymization	1
monitor	1
publishing	1
problem-frame	1
vulnerabilities	1
1967	1
ordering	1
virtual	1
petri-nets	1
lecture-notes	1
botnets	1
domain	1
conflict-of-interest	1
ucon	1
bpp	1
email	1
1948	1
modal	1
side-channel	1
one-time-pad	1
draft	1
praxis	1
continuous	1
secure-electronic-transaction	1
monads	1
music	1
psychology	1
declarative	1
aegis	1
term	1
deadlock	1
crime	1
digital-restrictions	1
mu-calculus	1
wireless-sensor	1
spin	1
jcsp	1
punishment	1
isomorphism	1
apg	1
usage	1
strategy	1
variables	1
lazy	1
execution	1
classes	1
paraconsistent	1
incompleteness	1
guru	1
human-factors	1
eclipse	1
exercises	1
computer-science	1
probe	1
deterrent	1
interface	1
retrospective	1
transputer	1
scam	1
agent	1
cscw	1
maude	1
perfect-security-property	1
parsing-ambiguity	1
tls	1
similarity	1
lecture	1
xor	1
library	1
intel	1
control-law	1
zero-knowledge	1
hazop	1
signing	1
talk	1
algebra	1
procedure	1
segregation	1
sharing	1
smart-card	1
schema	1
doxastic	1
choice	1

michaelbanks's Raghavendra:KR [1 article] Export

michaelbanks's tags