michaelbanks's information-flow [90 articles] Export

Recent papers added to michaelbanks's library classified by the tag information-flow. You can also see everyone's information-flow.

Hide details

	A Probabilistic Property-Specific Approach to Information Flow [My Copy] Computer Network Security In Computer Network Security, Vol. 3685 (2005), pp. 206-220. by Danièle Beauquier, Marie Duflot, Marius Minea posted to specification separability property probabilistic noninterference noninference information-flow 2005 by michaelbanks on 2009-11-13 15:36:47 as
	A Policy Model for Secure Information Flow [My Copy] Foundations and Applications of Security Analysis In Foundations and Applications of Security Analysis, Vol. 5511 (2009), pp. 1-17. by Adedayo O. Adetoye, Atta Badii posted to security program operational information-flow declassification 2009 by michaelbanks on 2009-11-09 17:09:20 as
	A specification language for information security policies [My Copy] In Recent Advances in Applied Mathematics and Computational and Information Sciences, Vol. II (2009), pp. 437-440. by Juan M. Garcia posted to specification process-algebra language information-flow 2009 by michaelbanks on 2009-11-09 10:58:20 as
	A unifying approach to the security of distributed and multi-threaded programs [My Copy] Journal of Computer Security, Vol. 11, No. 4. (1 January 2003), pp. 615-676. by Heiko Mantel, Andrei Sabelfeld posted to translation security program maks language information-flow distributed 2003 by michaelbanks on 2009-10-30 14:16:44 as
	On the Composition of Compositional Reasoning [My Copy] Architecting Systems with Trustworthy Components In Architecting Systems with Trustworthy Components, Vol. 3938 (2006), pp. 137-151. by Felix C. Freiling, Thomas Santen posted to system security safety property maks liveness information-flow confidentiality composition 2006 by michaelbanks on 2009-10-30 11:10:07 as
	An Automata Based Approach for Verifying Information Flow Properties [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 135, No. 1. (5 July 2005), pp. 39-58. by Deepak D’Souza, K. R. Raghavendra, Barbara Sprick posted to verification unwinding security model-checking maks information-flow automata 2005 by michaelbanks on 2009-10-30 10:34:52 as
	On The Composition Of Security Properties [My Copy] (1996) by Aris Zakinthinos posted to unwinding theory security property information-flow composition 1996 by michaelbanks on 2009-10-29 18:28:52 as
	Secure information flow and program logics [My Copy] Computer Security Foundations Symposium, IEEE, Vol. 0 (2007), pp. 233-248. by Lennart Beringer, Martin Hofmann posted to verification type-system security isabelle information-flow hol hoare-logic 2007 by michaelbanks on 2009-10-28 17:19:03 as
	A Taxonomy of Security Properties for Process Algebras [My Copy] Journal of Computer Security, Vol. 3, No. 1. (1995), pp. 5-34. by Riccardo Focardi, Roberto Gorrieri posted to security property process-algebra information-flow comparison 1995 by michaelbanks on 2009-10-28 10:44:04 as
	Probabilistic Confidentiality Properties based on Indistinguishability [My Copy] In Sicherheit, Vol. 62 (2005), pp. 113-124. by Thomas Santen edited by Hannes Federrath posted to probabilistic information-flow indistinguishable 2005 by michaelbanks on 2009-10-25 12:33:40 as
	Exploiting Generic Aspects of Security Models in Formal Developments [My Copy] Mechanizing Mathematical Reasoning In Mechanizing Mathematical Reasoning, Vol. 2605 (2005), pp. 452-475. by Heiko Mantel, Axel Schairer posted to security maks information-flow formal-methods 2005 by michaelbanks on 2009-10-19 19:18:02 as
	Post-Hoc Separation Policy Analysis with Graph Algorithms [My Copy] In Workshop on Foundations of Computer Security (FCS'09). Affiliated with Logic in Computer Science (LICS) (August 2009) by Lee Pike posted to information-flow 2009 by michaelbanks on 2009-10-01 09:36:18 as
	Quantifying Information Flow with Beliefs [My Copy] Journal of Computer Security (2009) by Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider posted to attack quantitative information-flow 2009 by michaelbanks on 2009-09-26 10:53:28 as
	Automatic Discovery and Quantification of Information Leaks [My Copy] Security and Privacy, IEEE Symposium on In 30th IEEE Symposium on Security and Privacy, Vol. 0 (2009), pp. 141-153. by Michael Backes, Boris Köpf, Andrey Rybalchenko posted to verification quantification information-flow automatic analysis 2009 by michaelbanks on 2009-09-26 10:45:53 as
	Quantification and Formalization of Security [My Copy] (February 2010) by Michael R. Clarkson posted to trace security quantification property information-flow hyperproperty confidentiality availability 2010 by michaelbanks on 2009-09-19 11:03:53 as
	Information flow security - models, verification and schedulers [My Copy] (2009) by Chenyi Zhang posted to verification unwinding timing-channels state-based security scheduler model information-flow bisimulation 2009 by michaelbanks on 2009-09-06 10:44:16 as
	Logic Column 10: Specifying Confidentiality [My Copy] (11 Nov 2004) by Riccardo Pucella posted to specification security protocol possible-worlds nondeducibility information-flow cryptography confidentiality 2004 by michaelbanks on 2009-08-27 12:56:01 as
	On the Decidability of Model-Checking Information Flow Properties [My Copy] Information Systems Security In Information Systems Security, Vol. 5352 (2008), pp. 26-40. by Deepak D’Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick posted to property model-checking maks information-flow decidability automata 2008 by michaelbanks on 2009-08-26 13:10:50 as
	Automating proofs of unwinding conditions [My Copy] In Proceedings of the Verify'06 Verification Workshop (2006) by Dieter Hutter edited by Serge Autexier, Heiko Mantel posted to verification unwinding theorem-proving proof multi-agent maks information-flow automatic 2006 by michaelbanks on 2009-08-26 13:06:14 as
	A language for information flow: dynamic tracking in multiple interdependent dimensions [My Copy] In PLAS '09: Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security (2009), pp. 125-131. by Avraham Shinnar, Marco Pistoia, Anindya Banerjee posted to policy information-flow dynamic confidentiality 2009 by michaelbanks on 2009-08-19 15:03:07 as
	Skolem Functions In Confidentiality Flow Properties [My Copy] by Norman Foo, Gregory Gibbon posted to skolem information-flow confidentiality by michaelbanks on 2009-08-17 12:44:14 as
	Unwinding forward correctability [My Copy] Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings In 7th IEEE Computer Security Foundations Workshop (CSFW '94) (1994), pp. 2-10. by Jonathan K. Millen posted to unwinding state-machine property information-flow forward-correctability confidentiality 1994 by michaelbanks on 2009-08-17 12:04:34 as
	A logic for information flow analysis with an application to forward slicing of simple imperative programs [My Copy] Science of Computer Programming In Special issue on the 11th Static Analysis Symposium - SAS 2004, Vol. 64, No. 1. (01 January 2007), pp. 3-28. by Torben Amtoft, Anindya Banerjee posted to static-analysis semantics information-flow hoare-logic denotational analysis 2007 by michaelbanks on 2009-08-16 15:54:53 as along with 1 person basvanvlijmen
	Information Hiding, Anonymity and Privacy: A Modular Approach [My Copy] Journal of Computer Security, Vol. 12, No. 1. (2004), pp. 3-36. by Dominic Hughes, Vitaly Shmatikov posted to 2004 anonymity confidentiality information-flow knowledge kripke-structure logic security verification by michaelbanks on 2009-07-22 12:16:55 as along with 1 person sgwyj
	Information-Flow Security for Interactive Programs [My Copy] In 19th IEEE Computer Security Foundations Workshop (CSFW'06) (2006), pp. 190-201. by Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong posted to 2006 information-flow program security by michaelbanks on 2009-07-18 15:25:51 as
	Secrecy in Multiagent Systems [My Copy] ACM Transactions on Information and System Security, Vol. 12, No. 1. (2008), pp. 1-47. by Joseph Y. Halpern, Kevin R. O'Neill posted to 2008 framework information-flow nondeducibility noninterference possibilistic probabilistic security semantics by michaelbanks on 2009-07-13 10:47:13 as
	Architectural Refinement and Notions of Intransitive Noninterference [My Copy] Engineering Secure Software and Systems In Engineering Secure Software and Systems, Vol. 5429 (2009), pp. 60-74. by Ron van der Meyden posted to 2009 architecture information-flow noninterference refinement security transitive by michaelbanks on 2009-07-10 13:32:38 as
	Combining Different Proof Techniques for Verifying Information Flow Security [My Copy] Logic-Based Program Synthesis and Transformation In Logic-Based Program Synthesis and Transformation, Vol. 4407 (2007), pp. 94-110. by Heiko Mantel, Henning Sudbrock, Tina Kraußer posted to 2006 composition information-flow program proof security verification by michaelbanks on 2009-07-09 13:00:49 as
	The framework of selective interleaving functions and the modular assembly kit [My Copy] In FMSE '05: Proceedings of the 2005 ACM workshop on Formal methods in security engineering (2005), pp. 53-62. by Heiko Mantel posted to 2005 comparison information-flow maks property security selective-interleaving by michaelbanks on 2009-07-09 12:21:56 as
	Information flow property preserving transformation of UML interaction diagrams [My Copy] In SACMAT '06: Proceedings of the eleventh ACM symposium on Access control models and technologies (2006), pp. 150-159. by Fredrik Seehusen, Ketil Stølen posted to 2006 information-flow security semantics trace transformation uml by michaelbanks on 2009-07-07 16:45:38 as
	Bridging Language-Based and Process Calculi Security [My Copy] Foundations of Software Science and Computational Structures In Foundations of Software Science and Computational Structures, Vol. 3441 (2005), pp. 299-315. by Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld posted to 2005 information-flow language linking process-algebra security by michaelbanks on 2009-07-07 16:16:00 as
	A Comparison of Semantic Models for Noninterference [My Copy] Formal Aspects in Security and Trust In Formal Aspects in Security and Trust, Vol. 4691 (2007), pp. 235-249. by Ron van der Meyden, Chenyi Zhang posted to 2007 information-flow model process-algebra security semantics state-machine trace by michaelbanks on 2009-07-07 16:13:42 as
	A state-based approach to noninterference [My Copy] 7th IEEE Computer Security Foundations Workshop (CSFW '94) In 7th IEEE Computer Security Foundations Workshop (CSFW '94) (1994), pp. 11-21. by William R. Bevier, William D. Young posted to 1994 deterministic information-flow nondeterministic noninterference security state-machine by michaelbanks on 2009-07-07 16:08:24 as
	Model-Driven Security: Exemplified for Information Flow Properties and Policies [My Copy] (January 2009) by Fredrik Seehusen posted to 2009 architecture information-flow model model-driven policy refinement security uml by michaelbanks on 2009-07-07 12:56:04 as
	Dimensions and Principles of Declassification [My Copy] In 18th IEEE Computer Security Foundations Workshop (CSFW'05) (2005), pp. 255-269. by Andrei Sabelfeld, David Sands posted to 2005 declassification information-flow noninterference security by michaelbanks on 2009-06-25 19:05:41 as along with 2 people scavadini tesissvc
	A type-based approach to program security [My Copy] TAPSOFT '97: Theory and Practice of Software Development In TAPSOFT '97: Theory and Practice of Software Development, Vol. 1214 (1997), pp. 607-621. by Dennis Volpano, Geoffrey Smith edited by Michel Bidoit, Max Dauchet posted to type-system security noninterference language information-flow analysis 1997 by michaelbanks on 2009-06-09 18:06:15 as
	Categorising non-interference [My Copy] Computer Security Foundations Workshop III, 1990. Proceedings In 3rd IEEE Computer Security Foundations Workshop (1990), pp. 44-50. by Jeremy L. Jacob posted to unwinding theory security property noninterference information-flow category-theory 1990 by michaelbanks on 2009-06-09 10:45:57 as
	Comparing two information flow security properties [My Copy] Computer Security Foundations Workshop, IEEE In 9th IEEE Computer Security Foundations Workshop, Vol. 0 (1996), pp. 116-122. by Riccardo Focardi posted to 1996 ccs comparison information-flow property security by michaelbanks on 2009-06-09 10:29:43 as
	On the Foundations of Quantitative Information Flow [My Copy] Foundations of Software Science and Computational Structures In Foundations of Software Science and Computational Structures, Vol. 5504 (2009), pp. 288-302. by Geoffrey Smith posted to 2009 entropy information-flow quantitative by michaelbanks on 2009-05-09 19:17:56 as
	Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies [My Copy] Software and Systems Modeling, Vol. 8, No. 1. (2009), pp. 45-65. by Fredrik Seehusen, Bjørnar Solhaug, Ketil Stølen posted to 2009 information-flow liveness property refinement safety stairs by michaelbanks on 2009-05-09 15:11:22 as along with 1 person leonardo
	A logical approach to multilevel security of probabilistic systems [My Copy] IEEE Computer Society Symposium on Research in Security and Privacy In IEEE Computer Society Symposium on Research in Security and Privacy (1992), pp. 164-176. by James W. Gray, Paul F. Syverson posted to 1992 information-flow model noninterference possible-worlds probabilistic semantics by michaelbanks on 2009-05-08 14:51:56 as
	Towards Information Flow Properties for Distributed Systems [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 236 (2009), pp. 65-84. by Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci posted to 2009 bisimulation distributed information-flow nondeducibility property security system by michaelbanks on 2009-05-06 15:59:47 as
	Specifying Information-Flow controls [My Copy] 25th IEEE International Conference on Distributed Computing Systems Workshops In 25th IEEE International Conference on Distributed Computing Systems Workshops (2005), pp. 114-120. by Howard Chivers, Jeremy L. Jacob posted to 2005 analysis information-flow risk by michaelbanks on 2009-05-06 13:06:10 as
	Information flow security, abstraction and composition [My Copy] IET Information Security, Vol. 3, No. 1. (2009), pp. 9-33. by Fredrik Seehusen, Ketil Stølen posted to 2009 abstraction composition information-flow possibilistic refinement security specification by michaelbanks on 2009-04-21 14:16:16 as
	A formal security policy for Xenon [My Copy] In FMSE '08: Proceedings of the 6th ACM workshop on Formal methods in security engineering (2008), pp. 43-52. by John Mcdermott, Leo Freitas posted to xen-hypervisor z xenon utp separation security policy kernel information-flow hypervisor formal deterministic csp circus 2008 by michaelbanks on 2009-02-03 13:45:29 as along with 1 person powerwolf
	Multilevel Security and Quality of Protection [My Copy] Quality of Protection (2006), pp. 93-105. by Simon N. Foley, Stefano Bistarelli, Barry O'Sullivan, John Herbert, Garret Swart posted to information-flow security multi-level model framework constraint-solving 2006 by michaelbanks on 2008-12-24 11:51:09 as
	Encoding Information Flow in Haskell [My Copy] In Proceedings of the 19th IEEE Workshop on Computer Security Foundations (CSFW '06) (2006) by Peng Li, Steve Zdancewic posted to security information-flow haskell 2006 by michaelbanks on 2008-12-12 12:56:43 as along with 9 people ama08r shimomura draganigajic msakai criswell keigoi scavadini tesissvc pedagand
	A Library for Light-Weight Information-Flow Security in Haskell [My Copy] In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 13-24. by Alejandro Russo, Koen Claessen, John Hughes posted to information-flow security library haskell 2008 by michaelbanks on 2008-12-11 13:43:36 as along with 1 person jkominek
	The Compositional Security Checker: a tool for the verification of information flow security properties [My Copy] IEEE Transactions on Software Engineering In IEEE Transactions on Software Engineering, Vol. 23, No. 9. (1997), pp. 550-571. by Riccardo Focardi, Roberto Gorrieri posted to spa security protocol property information-flow composition 1997 by michaelbanks on 2008-12-10 16:24:25 as
	A security domain model to assess software for exploitable covert channels [My Copy] In PLAS '08: Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security (2008), pp. 45-56. by Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin posted to security model information-flow formal definition covert channels alloy 2008 by michaelbanks on 2008-12-04 18:09:11 as

Note: You may cite this page as: http://www.citeulike.org/user/michaelbanks/tag/information-flow

Result page: 1 2 Next

security	347
protocol	146
book	99
refinement	94
information-flow	90
specification	87
formal-methods	85
verification	79
2008	75
model	65
2006	64
proof	59
2009	58
attack	58
property	58
analysis	51
csp	50
noninterference	49
2005	48
formal	48
2007	47
language	45
logic	45
system	43
survey	42
2003	41
semantics	39
1996	37
z	37
software	35
textbook	35
confidentiality	34
programming	34
process-algebra	33
type-flaw	33
composition	32
2001	31
program	31
framework	30
policy	30
1995	29
model-checking	29
theory	29
tool	28
2000	27
authentication	27
introduction	27
1990	26
2002	26
automatic	26
software-engineering	26
1994	25
mathematics	25
2004	24
cryptography	24
1992	23
1997	23
1999	23
1998	22
concurrency	21
probabilistic	19
1987	18
access-control	18
bell-lapadula	18
development	18
safety	18
trace	18
theorem-proving	17
1993	16
circus	16
commercial	16
distributed	16
unwinding	16
algebraic	15
needham-schroeder	15
possibilistic	15
criticism	14
design	14
refinement-calculus	14
utp	14
information	13
integrity	13
key	13
liveness	13
1988	12
1989	12
alloy	12
data	12
search	12
testing	12
ban	11
bisimulation	11
engineering	11
fdr	11
hacking	11
java	11
maks	11
multi-level	11
preserving	11
requirements	11
1991	10
case-study	10
ccs	10
correctness	10
event-b	10
haskell	10
nondeterministic	10
synthesis	10
yahalom	10
1981	9
anonymity	9
availability	9
channels	9
hoare-logic	9
nondeducibility	9
public	9
reasoning	9
strand-space	9
type-system	9
1985	8
belief	8
b-method	8
category-theory	8
comparison	8
constraint-solving	8
dolev-yao	8
heuristic	8
knowledge	8
operational	8
privacy	8
simulation	8
spi-calculus	8
temporal	8
verified-software-repository	8
1977	7
1978	7
1984	7
automata	7
compiler	7
covert	7
functional-programming	7
guidance	7
kernel	7
neuman-stubblebine	7
separability	7
static-analysis	7
tagging	7
1986	6
action	6
communication	6
denotational	6
executable	6
history	6
object-z	6
operating-system	6
opinion	6
replay	6
rodin	6
roundtable	6
transformation	6
tutorial	6
type-checking	6
1976	5
1983	5
abstraction	5
control-flow	5
coq	5
decidability	5
derivation	5
expressiveness	5
file-system	5
generalised	5
grand-challenge	5
isabelle	5
jif	5
key-establishment	5
lattice	5
management	5
mondex	5
multi-agent	5
noninference	5
optimisation	5
otway-rees	5
paradox	5
philosophy	5
pi-calculus	5
precondition	5
predicate-transformer	5
role-based-access-control	5
standard	5
stepwise	5
structure	5
svo	5
transitive	5
uml	5
1972	4
1980	4
1982	4
architecture	4
axiomatic	4
biba	4
casper	4
cipher-block-chaining	4
confinement	4
definition	4
deterministic	4
distribution	4
economics	4
equivalence	4
game-theory	4
gdoi	4
general	4
guarded	4
hol	4
implementation	4
induction	4
labelled-transition-system	4
model-driven	4
network	4
object-oriented	4
posix	4
quantitative	4
reliability	4
resource-allocation	4
review	4
selective-interleaving	4
spa	4
state-machine	4
time	4
tla	4
validation	4
vdm	4
weakest	4
web-services	4
z-eves	4
1969	3
1975	3
1979	3
abstract-interpretation	3
accountability	3
ada	3
advocacy	3
artificial-intelligence	3
athena	3
capacity	3
certification	3
chaos-report	3
chinese-wall	3
command	3
computer	3
declassification	3
decomposition	3
denial-of-service	3
divergences	3
event	3
failures	3
flaw	3
flow	3
galois-connection	3
genetic-algorithm	3
godel	3
inference-control	3
internet	3
kerberos	3
larch	3
linking	3
lysa	3
mechanised	3
methods	3
no-silver-bullet	3
password	3
perfect	3
ponder	3
predicate	3
predicate-calculus	3
principles	3
raise	3
reconfigurable	3
recursion	3
relational	3
rewrite	3
risk	3
set-theory	3
simulated-annealing	3
social-processes	3
stairs	3
trust	3
unifying	3
usability	3
voting	3
window	3
1971	2
1973	2
1974	2
2010	2
adaptation	2
algorithm	2
algorithms	2
andrew-secure-rpc	2
animation	2
assurance	2
authenticity	2
avispa	2
capsl	2
ckt5	2
clark-wilson	2
closure	2
complexity	2
computability	2
contract	2
csp-oz	2
database	2
diagram	2
dictionary	2
dining-cryptographers	2
discretionary-access-control	2
dynamic	2
efficient	2
eiffel	2
emergence	2
evaluation	2
extraction	2
finalisation	2
floating-point	2
fm	2
focus	2
functionality	2
genetic-programming	2
guessing	2
guidelines	2
hardware	2
hru	2
hyperproperty	2
hypervisor	2
ibm-cics	2
ignorance	2
incident-insensitive	2
indistinguishability-classes	2
indistinguishable	2
kao-chow	2
lambda-calculus	2
limitations	2
mandatory-access-control	2
memory	2
mix	2
mobile	2
multics	2
natural	2
nonce	2
non-functional	2
obligation	2
operators	2
parser	2
pattern-matching	2
pointers	2
possible-worlds	2
practical	2
project	2
prolog	2
quantification	2
real-time	2
records	2
reference	2
relation	2
representation	2
research	2
restrictiveness	2
retrieve-relation	2
s3a	2
safety-critical	2
sat-solver	2
scyther	2
separation	2
separation-logic	2
separation-of-duty	2
sequential	2
shadow-semantics	2
spark	2
spi2java	2
spore-library	2
state-based	2
statistics	2
storage	2
swift	2
system-z	2
teaching	2
theorem	2
timestamp	2
tokeneer	2
topology	2
translation	2
turing-award	2
virus	2
woo-lam	2
writing	2
xen-hypervisor	2
xenon	2
1926	1
1948	1
1962	1
1967	1
1970	1
acp	1
aegis	1
agent	1
aggregation	1
algebra	1
algol	1
anonymization	1
apg	1
art	1
assertion	1
backtracking	1
backwards	1
behaviours	1
beller-yacobi	1
bird-meertens	1
bndc	1
botnets	1
bpp	1
bpw	1
brute-force	1
b-toolkit	1
bug	1
caml	1
cellphone	1
choice	1
chosen-name	1
cipher	1
classes	1
collaborative	1
combinator	1
common-criteria	1
community	1
computer-science	1
conflict-of-interest	1
conformance	1
continuous	1
contract-bridge	1
control-law	1
cosp-j	1
crefine	1
cscw	1
curry-howard	1
cut-and-paste	1
deadlock	1
declarative	1
decoding	1
defence	1
denning-sacco	1
design-by-contract	1
detection	1
deterrent	1
digital-restrictions	1
domain	1
doxastic	1
draft	1
eclipse	1
ecma	1
eigen	1
email	1
encoding	1
ensured-entropy	1
entropy	1
environment	1
epistemic	1
exception-handling	1
execution	1
exercises	1
extreme-programming	1
finger-tree	1
fixed-point	1
forward-correctability	1
forwards	1
freshness	1
game	1
gny	1
graph-theory	1
grid-computing	1
group	1
guru	1
hazop	1
high-assurance	1
histar	1
huffman	1
incompleteness	1
information-theory	1
intel	1
intelligent	1
interation	1
interface	1
intrusion-detection	1
invariant	1
iso-iec-11770-2	1
isomorphism	1
jape	1
jcsp	1
kiv	1
kripke-structure	1
lasco	1

michaelbanks's information-flow [90 articles] Export

michaelbanks's tags